这个独立于那四条是咋证明的？能讲一下不

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