知识/定理
希尔伯特 1899《几何基础》：用形式公理化重构欧氏几何，确立现代公理方法——公理须一致、独立、完备。
公式
几何对象（点线面）不预设直觉，只由公理约束；模型理论由此萌芽。
证明思路
给出几何的算术模型证明公理一致性（相对一致性）；把「对象」与「关系」完全抽象化。
应用/例子
数学各分支的公理化；模型论、证明论的标准范式。
意义/影响
现代数学方法的范式——「桌子、椅子、啤酒杯」只要满足公理皆是几何；希尔伯特纲领的起点。
DOXA · 数学编年史 · 知识详情
1899 ｜ 希尔伯特 ｜ 逻辑 ｜ 出版
希尔伯特 1899《几何基础》：用形式公理化重构欧氏几何，确立现代公理方法——公理须一致、独立、完备。
几何对象（点线面）不预设直觉，只由公理约束；模型理论由此萌芽。
给出几何的算术模型证明公理一致性（相对一致性）；把「对象」与「关系」完全抽象化。
数学各分支的公理化；模型论、证明论的标准范式。
现代数学方法的范式——「桌子、椅子、啤酒杯」只要满足公理皆是几何；希尔伯特纲领的起点。