希尔伯特公理
关联、顺序、合同、平行与连续五组公理完整奠定欧氏几何的基础，终结了两千年的公理化争论。
所属主题：欧氏几何 ↗阅读路径
参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。
01定义
希尔伯特在《几何基础》（1899）中用五组公理——关联公理、顺序公理、合同公理、平行公理、连续公理——严格重建欧氏几何，把几何推理置于纯逻辑之上，终结了两千余年的公理化争论。
02核心要点
01
五组公理
关联公理刻画点、线、面的从属关系；顺序公理刻画「介于」关系与线段顺序；合同公理刻画线段与角的相等（叠合）；平行公理断言过直线外一点恰有一条平行线；连续公理包含阿基米德公理与完备公理，保证直线「无空隙」。
02
从《原本》到《基础》
欧几里得《几何原本》只有五条公设，推理中却隐式使用了顺序与连续性质。希尔伯特补全了全部缺环，并证明公理体系的相容性可归结为实数算术的相容性。
03
公理化方法
以公理为出发点、其余命题由逻辑演绎得到的范式，成为现代数学的标准方法论：点、线、面不再需要直观含义——「凡是满足公理的对象都算数」，这正是抽象代数与形式化方法的先声。
03关键公式
04历史沿革
公元前 300 年欧几里得建立第一个公理体系；19 世纪罗巴切夫斯基与鲍耶构造非欧几何，暴露《原本》公理的缺陷；1899 年希尔伯特完成严格化；1930 年哥德尔不完备定理又为公理化方法划定了边界——任何足够强的体系都无法自证相容。
05应用与延伸
公理化方法是代数学、分析学、概率论（柯尔莫哥洛夫公理）等一切现代数学分支的方法论基础；计算机科学中的形式化验证、类型系统与证明助手（如 Lean）都直接继承公理演绎的思想。
06交互演示
希尔伯特公理体系：接合公理换 stage 看三条接合公理：点与直线的原始关系