FOUNDATIONS / AXIOMS
欧几里得的起点：如何用少量前提建造一个世界
《几何原本》的力量不只在几何结论，更在一种知识形式：先说明允许使用什么，再让命题一层层生长。
01定义 · 公设 · 公理 · 命题
01 / THE MACHINE演绎机器如何运转
- 定义
- 约定术语如何使用，例如点、线、圆。定义帮助语言对齐，但本身不会保证某种对象确实存在。
- 公设
- 允许执行的几何操作或接受的空间关系。它们是证明的起始许可，不由体系内部先行证明。
- 共同概念
- “等于同一事物的事物彼此相等”一类跨越具体图形的推理原则。
- 命题
- 在既有定义与前提上，经证明得到的新结论；它又会成为后续命题可调用的工具。
02 / CONSTRUCTION证明既是语言，也是施工过程
欧几里得证明常按“给定—要求—作图—证明—结论”展开。以第一命题为例：给定一条线段，以两端为圆心、以线段为半径作圆；两圆交点与端点相连，就得到等边三角形。图形不是装饰，而是操作记录。
两个圆把“AC = AB”与“BC = AB”编码进构造，于是三边相等。这里也显露古典文本的隐含假设：两圆确实相交，需要比图面直觉更精细的公理支撑。
03 / WHAT CHANGED从“显然真”到“选择一个结构”
古典读者容易把公设理解为空间中不证自明的事实。现代观点更谨慎：公理先规定一种抽象结构，模型再说明这种结构可以由哪些对象实现。例如把“点”解释为某些数对，把“线”解释为满足方程的集合，便能把几何问题翻译成代数问题。
这一步改变了“第五公设能否证明”的含义。如果前四条公设允许建立一个既满足它们、又不满足第五公设的模型，那么第五公设就不能从前四条推出——否则该模型会同时迫使它成立。非欧几何正是在这种逻辑转向中获得地位。
?
公理可以随意选择吗？
可以提出许多前提，但有价值的体系还要考察一致性、独立性、表达能力，以及它是否为数学或经验问题提供有用模型。“可选择”不等于“无约束”。
04 / MODERN READING现代公理化补上了哪些空白
Hilbert 的处理把几何关系拆成若干组：点、线、面如何关联；点怎样位于两点之间；线段与角如何比较合同；平行关系怎样规定；以及连续性怎样排除不希望出现的“空洞”。这种拆分让研究者可以精确询问：某条定理究竟依赖哪一组前提，去掉一条后还能保留多少结论。
这也改变了“画图证明”的地位。图仍然是发现结构、记忆关系和检查构造的强大工具，但正式证明不能把图中偶然出现的性质当作前提。例如两条线在纸上看似相交，并不能单凭视觉断定它们在公理规定的延长过程中必定相交。
阅读古典证明时的三步检查
- 圈出作图步骤，确认每一步由哪条公设授权。
- 区分图形中“看见”的关系与文字中已经证明的关系。
- 追踪第五公设首次出现的位置，观察此前哪些结论在更弱的前提下仍成立。