ラッセルのパラドックス
同時期にはラッセルのパラドックスにみられるように集合論でも似たような問題が起こり、数学の基礎そのものに疑問が持たれる時代であったが、ヒルベルトは形式主義に基づく方法によって、これらの問題を解決すべく著書『幾何学基礎論』を執筆した。この著書はユークリッド幾何学の公理系を最も厳密に吟味した著作としても有名である。