双曲幾何学
双曲幾何学の場合には、「ある直線 L とその直線の外にある点 p が与えられたとき、p を通り L に平行な直線は無限に存在する」という公理に支えられて構成される。
双曲幾何学では、ユークリッド原論の平行線公準以外の公理公準はすべて成立する。これは平行線公準が独立した公準であり、ほかの公準からは証明できないということである。なぜならば他の公準から証明できるとすればその他の全ての公準が成り立つ双曲幾何学でも平行線公準が成り立つはずだからである。この幾何学は、もともと平行線公準をユークリッド原論のほかの公準から証明しようとして作られた幾何学だが、皮肉なことにこの幾何学により平行線公準は独立でほかの公準からは証明できないことが証明された。