Gödel's incompleteness theorems
1930年9月7日，他正式宣布其哥德尔不完备定理，引起當時重要數學家如冯·诺伊曼和希爾伯特等的重視。後來又鑽研連續統假設，但未能完全解決該問題。