当年欧提出来的时候它就是公理，只不过被觉着“不像”公理，所以很多人想用那四条去证明它。现在已经有人证明了它独立于那四条。但不管咋说，它始终是欧的公理……


【 在 bittersmile 的大作中提到: 】
: 第五公设是公理，是你现在知道了。当年可没人知道，无数人花了无数心血试图去证明它。
:
--
FROM 111.201.79.*