反证法

反证法通过假设一个给定的命题为假，并随后得出一个与已被证明为真的事物相矛盾的结论，来确立该命题的真理。也就是说，假设 为假，必然得出结论 来自 非-，其中 为假，这意味着 为真。

例如，欧几里得定理的第二个定理以假设素数是有限的开始。素数。 Cusik 给出了一些其他很好的例子。