デカルト座標空間はユークリッド幾何学から平行線公準を除いた理論のモデルである