欧几里得的公理体系里面其实还有很多含糊的地方，例如旋转啦，平移啦，按照罗素他们后来的严苛眼光，这些都需要严格定义。

我估计中学教材是把看上去很直观明显的结论当成公理，然后推不明显的结论是用比较严格的论证。就跟微积分一样，先能用，然后再考虑打地基的事情。

【 在 tokilltime 的大作中提到: 】
: 这个确实不严格
: 但我觉得比拿三角板哐哐一画就说画出来的是平行线要强一些
: 现在教科书的逻辑是
: ...................
--
FROM 69.131.210.*