19世紀に入ってようやく、他の公理はそのままに平行線公理のみをその否定命題に置換してもユークリッド幾何学に似た幾何学が成立することがボヤイ、ロバチェフスキーらによって示され、非ユークリッド幾何学が誕生した。