ゲーデルの不完全性定理
1936年には、ゲーデルの不完全性定理を拡張させた。解析的整数論で、ロッサーの定理を証明した。