>>382
同位角の公理を前提としないと言うことは非ユークリッド幾何も考えているんだよな？
そもそも「三角形の内角の和は一定である」は正しいのか？
例えば球面幾何では内角の和は三角形の面積によって変化するのだが。