在证明数学命题时，先_____________________成立，在这个前提下，若推出的结果与______、______、______相矛盾，或与命题中的__________相矛盾，或与______相矛盾，从而说明________________不可能成立，由此断定____________成立，这种证明方法叫作反证法．

1．反证法

假定命题结论的反面

定义

公理

定理

已知条件

假定

命题结论的反面

命题的结论