幾何学基礎論
幾何学基礎論（きかがくきそろん、、）は、ユークリッド幾何学の公理系に関する研究である。
平行線公準の問題より非ユークリッド幾何学が生まれたが、それは同時にユークリッド幾何学の厳密性にも疑問が投げかけられることでもあった。すなわち、
という疑問を解決すべく幾何学基礎論の研究が進められてゆくこととなる。
同時期にはラッセルのパラドックスにみられるように集合論でも似たような問題が起こり、数学の基礎そのものに疑問が持たれる時代であったが、ヒルベルトは形式主義に基づく方法によって、これらの問題を解決すべくを考案した。彼の著した『幾何学基礎論』はユークリッド幾何学の公理系を最も厳密に吟味した著作としても有名である。
また更に現代的なものとしてがある。"Metamathematische Methoden in der Geometrie"でその詳細を確認できる。