知识/定理
《几何原本》13 卷：5 公设 + 5 公理演绎出 465 个命题，含勾股定理证明、「素数无穷」「无最大素数」等数论结果。
公式
第五公设（平行公设）：过直线外一点恰有一条平行线。
证明思路
纯演绎系统：公理不证，一切命题由公理与已证命题推得；工具为几何作图与反证法。
应用/例子
两千年标准教材；牛顿《自然哲学的数学原理》刻意模仿其公理化结构。
意义/影响
公理化方法的原型，确立「证明」的黄金标准；非欧几何的诞生正源于对第五公设的质疑。
DOXA · 数学编年史 · 知识详情
约前300 ｜ 欧几里得 ｜ 几何·拓扑 ｜ 出版
《几何原本》13 卷：5 公设 + 5 公理演绎出 465 个命题，含勾股定理证明、「素数无穷」「无最大素数」等数论结果。
第五公设（平行公设）：过直线外一点恰有一条平行线。
纯演绎系统：公理不证，一切命题由公理与已证命题推得；工具为几何作图与反证法。
两千年标准教材；牛顿《自然哲学的数学原理》刻意模仿其公理化结构。
公理化方法的原型，确立「证明」的黄金标准；非欧几何的诞生正源于对第五公设的质疑。