Kurt Gödel'in 1931 yılında doktorasında verdiği "Principia Mathematica Gibi Dizgelerin Biçimsel Olarak Karar Verilemeyen Önermeleri Üzerine" başlıklı makalesinde 4. önerme olarak geçer. Sezgisel olarak matematikte belitlere (aksiyom) dayanan her sistemin ...