概念

公理集合论(ZFC)

策梅洛-弗兰克尔公理系统加选择公理构成现代数学的标准基础，通过累积层级避免悖论，正则公理保证集合宇宙的良基性。

阅读路径

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

公理集合论(ZFC)逻辑与集合论

01定义

ZFC 以十组公理（外延、配对、并集、幂集、无穷、分离、替换、正则、选择）刻画集合宇宙：集合沿累积层级

V_\alpha

逐层生成，正则公理保证良基性，悖论被结构性地排除。

冯·诺依曼宇宙 V：集合逐层累积，悖论无处安身

外延公理（元素定集合）、分离公理模式（只从已有集合中筛选）、幂集与替换（造大集合）、无穷公理（保证 $\omega$ 存在）。

分离只允许 $\{x\in A:\varphi(x)\}$ 而非 $\{x:\varphi(x)\}$ ——罗素集合「全体不属于自身的集合」根本构不成集合。

连续统假设与选择公理都独立于 ZFC（哥德尔 1938、科恩 1963）——标准公理不能决定一切，集合论存在「多重宇宙」。

V=\bigcup_\alpha V_\alpha,\quad V_{\alpha+1}=\mathcal{P}(V_\alpha)

策梅洛 1908 年给出第一组公理以回应悖论；弗兰克尔与斯科朗补入替换公理（ZF）；斯科朗建议加入选择公理（ZFC）；科恩 1963 年力迫法证明独立性，获菲尔兹奖。

现代数学的默认地基：从分析到代数几何都在 ZFC 内形式化；证明助手（Lean 等）以 ZFC 或类型论为其严格化的基础。

累积分层：V_{α+1} = P(V_α)集合论宇宙从空集逐层生成：每层的基数呈 0,1,2,4,16,… 指数塔增长

层数 α2