Kurt Gödel

Ketika menghadiri kuliah yang diberikan oleh David Hilbert di Bologna mengenai kelengkapan dan konsistensi sistem matematika, jalan hidup Gödel menjadi terfokus. Pada tahun 1928, Hilbert dan Wilhelm Ackermann menerbitkan "Grundzüge der theoretischen Logik" (""), suatu pendahuluan kepada di mana soal kelengkapan diungkapkan: "Apakah aksioma-aksioma sistem formal memadai untuk menurunkan setiap pernyataan yang benar dalam semua model sistem itu?"