反證法

反證法透過假設一個給定的命題為假，並隨後得出一個與已被證明為真的事物相矛盾的結論，來確立該命題的真理。也就是說，假設 為假，必然得出結論 來自 非-，其中 為假，這意味著 為真。

例如，歐幾里得定理的第二個定理以假設素數是有限的開始。素數。 Cusik 給出了一些其他很好的例子。