Olmayana Ergi Yöntemi (Reductio Ad Absurdum) Nedir?
 

Bir teoremin yargısının (hüküm) yanlış olduğunu kabul edip savının (hipotez) yanlışlığını kanıtlama yöntemi. Matematikte teoremler daima paa q biçiminde yazılabilir. p sav, q yargı adını alır. Olmayana ergi yöntemi pq_yu kanıtlamak yerine qp_ yü kanıtlamak demektir. Örneğin;"Karesi 9'dan farklı bir sayı 3'e eşit olamaz" teoremi, olmayana ergi yöntemine göre "Bir sayı 3'e eşitse karesi 9'dur" teoremine denktir. Yani [(x2*9) ? (x*3)] önermesi, [(x=3) ? (x2=9)] önermesiyle aynı özü ifade eder. Matematikte bazı teoremler ancak olmayana ergi yöntemiyle kanıtlanabilir. "(0,1) aralığındaki gerçel sayılar sayılamaz" teoremi bu türdendir.