一般把这个作为第五公理的推论，但作为公理也可以，等价的。

【 在 Am2sempron (左右修竹~) 的大作中提到: 】
: 这个东西可以被证明吗？
: #发自zSMTH@MI 10s
--
FROM 163.125.192.*