matematikte bir tür ispat yöntemi. misal;
'asay sayılar sonsuzdur' önermesi olmayana ergi yoluyla şöyle ispatlanır.
asay sayılar sonlu olsun ve en büyüğü f olsun (nickimin baş harfi, oraya gönderme reklamın iyisi kötüsü olmaz, teorem bulamıyoruz bari bulunan teoremden faydalanalım)
y=(2x3x5x7x...f)+1 gibi bir sayımız olsun. (platonik aşka gönderme, belki yazardır bir şeyler gelişir umut işte)
şimdi elde ettiğimiz sayı yukarıdaki çarpılan sayılara bölünemez çünkü kalan her zaman 1 olur. dolayısıyla bölünebildiği bir tek kendisi ve 1 sayısı vardır. tanım gereği böyle sayılara asal sayılar denir. yani y asal sayıdır. ama biz en büyük asal sayıyı f kabul etmiştik, tarif edilemez bir çelişki doğdu o halde f en büyük asal sayı değildir, o halde asal sayılar sonsuzdur. (aslında burada tümevarım kullanıldı y ve y sayısına benzer oluşturulan sayıların hepsi teker teker denenmesi gerekliydi, sonuç itibariyle değişen bir şey olmayacak, tüm y benzeri sayılar asal olacak ama prosedüre uyulmamış matematik işte çelişkilerle dolu.