幾何学
幾何学が大きな進歩を遂げた最初は、他の数学の分野と同じように古代ギリシアにおいてであった。
角αと角βの和が180度より小さければ、点線の方向に線を延長していくと二つの直線はいつか必ず交わるというのが平行線公理。
ところが非ユークリッド幾何学では空間が曲がっているからそれは成り立たない。
長らく原論の平行線公理は幾何学において問題となったが、この公理を他の公理から導出しようとする試みは全て頓挫した。もし平行線公理が公理でなければ、ほかの公理系から導出できるはずだと試みられて失敗したわけである。19世紀に入ってようやく、他の公理はそのままに平行線公理のみをその否定命題に置換してもユークリッド幾何学に似た幾何学が成立することがボヤイ、ロバチェフスキーらによって示され、非ユークリッド幾何学が誕生した。
非ユークリッド幾何学の無矛盾性はユークリッド幾何学の無矛盾性に依存し、後者が無矛盾であれば前者も無矛盾であるとされ、両者の差異は単なる計量の違いに過ぎないことが明らかにされた。