çelişkiye varma yoluyla tanıtlama  nedir?

(Alm. Beweis durch Widerspruch, m; Fr. preuve par contradiction, f; İng. proof by contradiction; reductio ad absurdum) 

mat. Bir savı mantık yürüterek bir sonuca vardırmak, bu sonucun da doğru olamayacağını gösterip baştaki savın yanlış olduğunu tanıtlamak; eşanlam: olamayana ergiyle tanıtlama.