MODELS / RELATIVE CONSISTENCY
模型与一致性：如何证明陌生空间不是想象中的骗局
模型不必让双曲世界“变得欧氏”；它的任务是提供一套精确翻译，使每条公理和推理都能被检查。
05解释 · 翻译 · 独立性
01 / WHAT A MODEL DOES把“点”和“线”换一种实现
一个公理体系只规定对象之间必须满足什么关系，并不强迫“点”一定是纸上的墨点。模型为术语指定具体解释：哪些对象算点，哪些集合算线，距离和角度如何计算。若所有公理在这种解释下都成立，模型就是该体系的一次实现。
Beltrami 在 1868–1869 年的工作中用常负曲率曲面与分析方法建立非欧几何的模型联系，是非欧几何合法化的关键里程碑。[6] 随后 Klein 与 Poincaré 提供了其他模型；它们保留的视觉性质不同，却描述同一内在几何。
02 / TRANSLATION TABLE圆盘模型中的词典
| 双曲概念 | 在庞加莱圆盘中的表示 | 保留 / 牺牲 |
|---|---|---|
| 点 | 单位圆内部的普通点 | 位置可画出 |
| 直线 | 与边界正交的圆弧或直径 | 保角，但欧氏视觉下会弯 |
| 距离 | 越接近边界，尺度因子越大 | 内在距离正确，欧氏长度不正确 |
| 无穷远 | 边界圆上的理想点 | 压缩进有限图幅，但不可到达 |
03 / THE LOGIC相对一致性的核心句式
→
模型同时说明第五公设的独立性
若一个模型满足其余相关公理却不满足第五公设，那么第五公设不可能由那些公理证明；否则所有模型都必须让它为真。
04 / LIMITS它没有证明什么
模型不能从绝对虚空中保证一致性，它把风险转移给承载模型的理论。二十世纪的元数学进一步揭示：足够强的形式系统通常无法只靠自身完成所有理想中的一致性证明。因此，“有模型”不是轻率的视觉说服，而是一种明确标注前提的逻辑关系。
不同模型哪一个才是真正的双曲平面？
它们是同一抽象结构的不同坐标或表示。庞加莱圆盘保角，Klein 圆盘把测地线画成弦但不保角，上半平面模型便于处理复分析与群作用。选择取决于要看清什么性质。
05 / MODEL PRACTICE判断一个图是否真的构成模型
漂亮的相似图案不等于数学模型。至少要给出对象词典、关系定义与验证：哪些图上对象代表点和线？“位于其间”“合同”“角度”怎样解释？每条目标公理是否都在该解释下成立？若只展示弯曲线条而不提供这些对应，就只能算比喻。
保持的性质
模型会刻意保存研究需要的结构。保角模型适合讨论局部角度，射影模型适合讨论直线和交点；没有一种二维画法必须同时保留所有欧氏视觉量。
不可偷带的性质
承载模型的欧氏纸面拥有自己的长度与直线。除非翻译规则明确许可，不能把纸面的尺子、角度或平行关系直接算作模型内部的量。
因此，模型证明最重要的不是“终于把怪异空间画出来”，而是建立一份可逐条审计的翻译协议。