Tutarlılık ile Tutarsızlık
Matematik
Aritmetik
Kritik
Özet
Bir sistemde hiçbir çelişkinin türetilememesi, aynı anda bir önermenin hem doğru hem yanlış çıkmamasıdır. İLE Sistemde çelişki üretilebilmesi durumudur; böyle bir sistemde her şey kanıtlanabilir, işe yaramaz. İlki sağlıklı, ikincisi çökmüş sistemdir.
Ayrıntılı Açıklama
Kurt Gödel tarafından 1931 yılında keşfedildi/formüle edildi. (1906-1978) (Ülke: Avusturya/ABD) (Alan: Matematik, Mantık) (Önemli katkıları: Gödel tamamlanmazlık teoremleri, matematiksel sistemlerin sınırlarını kanıtladı, biçimsel sistemlerin tutarlılığı)