Tamamlanabilirlik ile Tamamlanmazlık

Özet

Tamamlanabilirlik her doğru önermenin kanıtlanabilmesi İLE tamamlanmazlık bazı doğruların kanıtlanamayacağıdır. Gödel tamamlanmazlık teoremi matematiksel sistemlerin sınırını gösterdi İLE yeterince güçlü her sistemde kanıtlanamayan doğrular vardır.