wiki上有提到。“Parallel postulate”词条里说“The independence of the parallel postulate from Euclid's other axioms was finally demonstrated by Eugenio Beltrami in 1868.”
然后Eugenio Beltrami的词条里面，大致讲了一下。大体是通过在非欧几何中，用测地线代替“直线”，然后论证球面几何、双曲几何与平面几何之间的关系等等。
【 在 MVPRose 的大作中提到: 】
: 这个独立于那四条是咋证明的？能讲一下不
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*