Pembuktian melalui kontradiksi

Argumen ini menggunakan hukum non-kontradiksi - yaitu suatu pernyataan tidak mungkin benar dan salah sekaligus. Frase Latin
"" berasal dari frasi Yunani yang berarti sama, digunakan oleh filsuf Aristoteles.