那也正常，完整的纯几何的欧式几何公理体系（比如希尔伯特公理）很绕，也没谁会用这个玩意来讲吧
比如一般的说，在希尔伯特公理体系的其他公理都定义好之后，三角形全等就只需要一个公理（一般用SAS/边角边作为公理），剩下的全等判据都是可以推出来的；但是完全没必要这么讲啊，直接把这些全等判据全当“公理”就好了
【 在 jobject 的大作中提到: 】
: 现在初中几何重点不是证明了，连公理定理体系都刻意回避了
:
:
--
修改:mattschaub FROM 111.201.3.*
FROM 111.201.3.*