ction::::反证法.反证法是一种古老的证明方法，其思想为：欲证明某命题是假命题，则反过来假设该命题为真。在这种情况下，若能通过正确有效的推理导致逻辑上的矛盾（如导出该命题自身为假，于是陷入命题既真且假的矛盾），则能证明原来的命题为假。无矛盾律和排中律是反证法的逻辑基础。反证法的好处是在反过来假设该命题为真的同时，等于多了一个已知条件，这样对题目的证明常有帮助。例子：证明命题“formula_23不是有理数”。
数学归纳法.数学归纳法是一种证明可数无穷个命题的技巧。欲证明