Tutarlılık ile Tutarsızlık

Özet

Tutarlılık bir sistemde çelişki olmaması İLE tutarsızlık çelişki içermesidir. Gödel bir sistemin tutarlılığının o sistem içinde kanıtlanamayacağını gösterdi İLE bu matematiğin sınırlarını ortaya koydu.