UGödel waziwa kakhulu ngeeincompleteness theorems zakhe ezimbini. Ezi theorems zathi zapapashwa ngo1931. Wayeneminyaka engama-25 ubudala ngoko, kwaye wayesanda kugqiba izifundo zakhe kwinqanaba ledoctorate kwiUniversity yase Vienna kumnyaka ongaphambi koko.