olmayana ergi

• ispatlamak istenilen yargının tersini söyleyerek onun yanlışlığını ispatlama yöntemi. mesela son asal sayıya p dersek p'ye kadar bütün sayıların çarpımı p'den büyük bir asal çarpan bulundurmalıdır. o zaman p son asal olamaz.. aynı ispat eulerin seri formülüne göre de yapılabilir.
  
  bu tip ispatların anlamlı olması için önermelerin iki değerli mantık üzerinde olması gerekir. üç değerli mantık için olmayana ergi metodu geçerli değildir. mesela brouwer ve çekirgeleri matematiksel sezgicilik öğretisine göre üçüncü halin olanaksızlığı ilkesi'ni mantıksal bir zorunluluk saymaz. bu yüzden sezgici mantıkta bir nüans vardır. sezgici mantıkta p önermesinin doğruluğunu ispatlamak için p-değil in çelişkisinden dem vurmak yeterli değildir fakat p önermesi eğer çelişkiye yol açıyorsa açıkça yanlıştır! bir sezgici matematik inananına göre tanrı yoktur diyerek matematikte çelişkili sonuca ulaşmak tanrının var olduğunu ispatlamaz fakat tanrı vardır diyerek çelişki elde ediyorsanız o zaman demektir ki tanrı yoktur.
  
  edit: burada ismi geçen tanrı matematik önermedir ve gerçek hayattaki tanrılarla veya arabalarıyla bir ilişkisi yoktur.