嗯 明白了 多谢多谢
【 在 expensun 的大作中提到: 】
: 公理之间没办法互相证明，换句话说，你为了证明一个公理，在证明过程中引入了另外一个公理，这是没有意义的，所以你的平行证明是没有意义的，因为你又用到了另外一个公理，直线相交有一个点。
:
: 欧几里得是提出公理化的原始架构，但真正严格定义的，还是近现代的数学家做的，
: ....................
--
FROM 223.104.3.*