Pembuktian melalui kontradiksi

Pembuktian melalui kontradiksi atau "reductio ad absurdum" bukanlah sebuah argumen yang salah, sebaliknya jika dilakukan dengan benar merupakan argumen yang sah. Jika pembuktian melalui kontradiksi menghasilkan kesalahan, kesalahan tersebut terletak pada kesalahan pada proses penurunan kontradiksi, bukan pada cara pembuktiannya.