欧几里德的《几何原本》中一开始给出23个定义,五大公理,五大公设,你给出的是五大公设,还不完全.现在市面上都能买到几何原本,可以自己找一本看看.不过,建议最好不要花时间自己推证,即便是师范类数学专业的本科生（之后的中学老师）都不会做这些事情（他们会学一门课程叫做《平面几何研究》,如果有兴趣,可以看看那本书）
欧几里德的《几何原本》中一开始给出23个定义,五大公理,五大公设,你给出的是五大公设,还不完全.现在市面上都能买到几何原本,可以自己找一本看看.不过,建议最好不要花时间自己推证,即便是师范类数学专业的本科生（之后的中学老师）都不会做这些事情（他们会学一门课程叫做《平面几何研究》,如果有兴趣,可以看看那本书）