Euclidean geometry
非ユークリッド幾何学の無矛盾性はユークリッド幾何学の無矛盾性に依存し、後者が無矛盾であれば前者も無矛盾であるとされ、両者の差異は単なる計量の違いに過ぎないことが明らかにされた。