公理之间没办法互相证明，换句话说，你为了证明一个公理，在证明过程中引入了另外一个公理，这是没有意义的，所以你的平行证明是没有意义的，因为你又用到了另外一个公理，直线相交有一个点。

欧几里得是提出公理化的原始架构，但真正严格定义的，还是近现代的数学家做的，

但即便是公理化体系还是由内在缺陷和问题的，比如Godel的完备性和不完备性问题，说白了就是你会有一些正确的但是永远无法证明的东西，所以就不用去细究啦，没啥意义。

【 在 tokilltime 的大作中提到: 】
: 那本书是用内错角证的
: 内错角相等 假设两条直线不平行 那么就会在一侧有个交点
: 然后这个图形是个轴对称图形 另一侧也会有个交点
: ...................
--
FROM 159.226.43.*