Kurt Gödel var docent i Wien 1933–38 men emigrerade sedan till USA och knöts till Institute for Advanced Study i Princeton, från och med 1953 som professor. Han var utan tvivel sin tids mest betydande logiker. Hans viktigaste arbeten tillkom under 1930-talet. I ett epokgörande arbete publicerat 1930 bevisar Gödel