Gödel est surtout connu pour ses deux théorèmes incomplets, publiés en 1931 lorsqu'il avait 25 ans, un an après avoir terminé son doctorat à l'Université de Vienne.
Il avait 25 ans et venait de terminer son doctorat à l'Université de Vienne un an plus tôt.