几何的其他几个公理是不证自明点，第五公社是不可证明的，不可证明和不证自明不是一回事
  
【 在 kanbao1234 (kanbao) 的大作中提到: 】
:  
:  目前，现代的科学都是基于逻辑建立的。
:  
:  逻辑有一个重要的特性，即，逻辑的基础（或起点）是不可证明的。如果作为逻辑起点的某个假设是可以通过其他假设推导的，那么，这个假设不应该作为逻辑的起点。
--
FROM 1.202.22.*