Pembuktian melalui kontradiksi

Pembuktian melalui kontradiksi, adalah argumen logika yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau kontradiktif, sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah. Dalam disiplin matematika dan logika, pembuktian melalui kontradiksi merujuk secara khusus kepada argumen dimana sebuah kontradiksi dihasilkan dari suatu asumsi Argumen ini menggunakan hukum non-kontradiksi - yaitu suatu pernyataan tidak mungkin benar dan salah sekaligus. Frase Latin
reductio ad absurdum berasal dari frasi Yunani ἡ εἰς ἄτοπον ἀπαγωγή yang berarti sama, digunakan oleh filsuf Aristoteles.