在证明一个命题是人们有时先假设命题不成立,从这样的假设出发,经过推理得出的和已知条件相矛盾,或于定义公理等矛盾从而得出假设命题不成立是错误的,即所求命题正确就是反证法．