这个是欧几里得几何公理,就是构建欧几里得几何系统的基础,既然是公理,就无需证明了.
当然,还存在非欧几何
黎曼几何中,不存在平行线,认为空间中任意直线都有交点,不存在平行线的概念;而罗巴切夫几何就规定了平行线也可以有交点.
详细的可以参考一下这个: