概念

大基数与内模型

研究超出 ZFC 常规宇宙的强无穷公理（如不可达基数、可测基数），以及构造精细的内模型（如 L）来理解公理间的相对一致性，决定性公理则在特定结构下给出优美的正则性。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

大基数与内模型逻辑与集合论

本主题暂无后续概念

01定义

大基数公理假设存在远超常规层级的强无穷（不可达、可测、Woodin 基数等），为集合论提供「向上」的一致性强度阶梯；内模型（如哥德尔的可构造宇宙

L

）则「向内」构造精细子宇宙，两者共同绘制公理间的相对一致性地图。

大基数阶梯：越往上假设越强，一致性强度越高

不可达、马洛、可测、超紧、Woodin……大基数按一致性强度几乎线性排列——「更强假设推出更低层级的一致性」形成惊人的阶梯结构。

哥德尔的可构造宇宙 $L$ 是 ZFC 的最小内模型，其中 GCH 与 AC 成立——由此证明它们与 ZF 的相对一致性（1938）。

AD（一切无穷博弈有必胜策略）与弱选择公理相容，推出所有实数集都有良好正则性——描述集合论的优美替代路线。

\text{ZFC}+\text{大基数}\vdash\operatorname{Con}(\text{ZFC})

哥德尔 1938 年构造 $L$ ；斯科朗与塔尔斯基之后 Ulam 引入可测基数（1930）；1960-70 年代力迫法与大基数理论交汇，形成现代集合论的核心图景。

描述集合论的正则性定理、大基数在确定性（determinacy）与射影集合结构中的应用；集合论多元宇宙观的哲学讨论以这些结果为依据。

基数之塔：ω → 连续统 → 不可达基数可数无穷之上是连续统 2^ω，再之上有正则极限基数 κ = ℵ_κ（不可达）

层级0