欧几里德的《几何原本》,一开始欧几里德就劈头盖脸地给出了23个定义,5个公设,5个公理.其实他说的公社就是我们后来所说的公理,他的公理是一些计算和证明用到的方法（如公理1：等于同一个量的量相等,公理5：整体大于局...