Kurt Gödel, 1931 yılında yeterince güçlü bir biçimsel dil içerisinde ne kendisinin ne de değilinin ispatı verilemeyen doğru önermelerin olduğunu göstermiştir. İkinci olarak da, söz konusu biçimsel dizgenin tutarlılığının biçimsel dizge içerisinde verilemeyeceğini göstermiştir.
Sayfa 30 - dilimin sınırları dünyamın sınırları önermesine gödelian yanlışlamaKitabı okudu