你们的讨论都好深奥...
【 在 expensun 的大作中提到: 】
: 公理之间没办法互相证明，换句话说，你为了证明一个公理，在证明过程中引入了另外一个公理，这是没有意义的，所以你的平行证明是没有意义的，因为你又用到了另外一个公理，直线相交有一个点。
: 欧几里得是提出公理化的原始架构，但真正严格定义的，还是近现代的数学家做的，
: 但即便是公理化体系还是由内在缺陷和问题的，比如Godel的完备性和不完备性问题，说白了就是你会有一些正确的但是永远无法证明的东西，所以就不用去细究啦，没啥意义。
: ...................
--
FROM 27.17.91.*