Euclidean geometry
ユークリッド幾何学のように、無定義述語と公理によって構築される幾何学では、直線が「まっすぐ」であるなどのイメージは本質を持たない。曲がった空間の幾何学である非ユークリッド幾何学での直線（測地線）はユークリッド幾何学の中で見ると曲がって見えるのである。