クルト・ゲーデル
1931年のはじめ、「算術の無矛盾性について」と題した証明論の論文を提出した。エルブランの論文が審査されているころ、クルト・ゲーデルの発表した論文「プリンピキア・マテマティカとその関連体系における決定不可能な命題について」が無矛盾性の証明を形式化することが不可能であること明らかにした。