幾何学基礎論(きかがくきそろん、、)は、ユークリッド幾何学の公理系に関する研究である。
平行線公準の問題より非ユークリッド幾何学が生まれたが、それは同時にユークリッド幾何学の厳密性にも疑問が投げかけられることでもあった。すなわち、
無矛盾な幾何学を作るにはどのような公理系が必要であるか? 更にそれらの公理系から構成される幾何学はどのような構造を持つか? それらの複数の異なる公理系の幾何学の体系間の関係はどうなっているのか?
という疑問を解決すべく幾何学基礎論の研究が進められてゆくこととなる。
同時期にはラッセルのパラドックスにみられるように集合論でも似たような問題が起こり、数学の基礎そのものに疑問が持たれる時代であったが、ヒルベルトは形式主義に基づく方法によって、これらの問題を解決すべくヒルベルトの公理系を考案した。彼の著した『幾何学基礎論』はユークリッド幾何学の公理系を最も厳密に吟味した著作としても有名である。
また更に現代的なものとしてタルスキの公理系がある。"Metamathematische Methoden in der Geometrie"でその詳細を確認できる。
参考文献
幾何学基礎論の日本語訳 - 原タイトル:Grundlagen der Geometrie。原書第4版の邦訳。 - 1930年に出版された原書第7版の邦訳。 - クラインのエランゲンプログラムの日本語訳と合本。原書第7版の邦訳。
関連項目
公理 数学基礎論 ダフィット・ヒルベルト 非ユークリッド幾何学
ユークリッド幾何学
外部リンク
幾何学基礎の英訳のTeX、PDF版 (無料)