総合幾何学の厳密な基礎付けはもちろんある（ヒルベルトの幾何学基礎論など）
が、基本的な部分を認めてしまえば以後の証明で気にする必要はない
解析学における実数体の基礎付けと事情は同じ