Pembuktian melalui kontradiksi

Suatu pernyataan matematis kadang-kadang dibuktikan dengan cara pembuktian melalui kontradiksi, dengan cara mengasumsikan ingkaran (negasi) dari pernyataan yang hendak dibuktikan, lalu dari asumsi ini diturunkan sebuah kontradiksi. Ketika kontradiksi dapat dicapai secara logika, asumsi tadi telah terbukti salah, sehingga pernyataan tersebut benar.