>>170
ヒルベルトの幾何学基礎論は、ユークリッド幾何の公理系が不十分であり、全てが公理系から証明出来るように、ヒルベルトが公理系を整理し新たに公理系を設定して、その公理系だけから全てが証明出来ることを示したモノです。