累积层级

累积层级把“集合只能由更早已有的集合组成”画成一座按序数升高的脚手架。$V_0$ 没有材料；$V_1$ 收入空集；下一层可以收集上一层的任意子族。到达极限阶段时，没有一个紧邻的前驱可供取幂集，于是把此前所有施工成果合并，再继续向上。

“累积”一词强调旧对象不会被替换：一旦 $x\in V_{\alpha }$，它也属于所有足够高的层。这样既能局部研究某个有界高度的集合，又能把通常数学放在同一宇宙中。层级不是按学科、可定义性或计算复杂度分类；它只测量成员关系的良基深度。

前几层可以逐项追踪：

$V_3=\mathcal{P}(V_2)$ 有四个元素，其中包括 $V_2$ 本身。所有有限阶段的并 $V_{\omega }$ 是遗传有限集的集合：对象本身有限，其成员、成员的成员乃至整棵传递闭包也都有限。$\omega$ 的每个有限序数都已在 $V_{\omega }$ 中，但 $\omega$ 自身直到 $V_{\omega +1}$ 才出现，因为 $\omega \subseteq V_{\omega }$。

层级的下标不能当作基数估计。即使 $\alpha$ 可数，$V_{\alpha +1}$ 也可能因取完整幂集而远大于 $V_{\alpha }$；相反，极限阶段只是并集。$V_{\alpha }$ 也通常不是 ZF 的模型：例如 $x$ 位于层级顶部附近时，它在外部宇宙中的幂集可能要到下一层才全部出现，故 $V_{\alpha }$ 内部的幂集公理可能失败。若 $\kappa$ 是强不可达基数，则 $V_{\kappa }$ 满足 ZFC；这需要远强于“$\kappa$ 是极限序数”的假设。

正则公理是覆盖结论的关键背景。允许 $x\in x$ 或无限下降成员链的非良基集合论仍可建立别的宇宙图景，但这样的对象不会被上述从空集向上的 $V_{\alpha }$ 递归捕获。因此“每个集合都在某层”不是纯逻辑事实，而是良基集合观的数学内容。

累积层级提供集合论中的局部化工具：给定有限多个参数和构造，总能先找一个足够高的 $V_{\alpha }$ 容纳它们，再分析哪些公式在该层与整个宇宙之间保持真值。集合论反射定理把这种想法变成对任意有限公式族的精确陈述。

它还支撑两条不同路线。第一条以“首次进入哪一层”定义集合的秩，用于良基递归、归纳证明和终止度量。第二条把后继步骤的完整幂集换成“可定义子集”，得到可构造层级 $L_{\alpha }$。二者使用同一序数骨架，却回答不同问题：$V_{\alpha }$ 描述宇宙已有多少集合，$L_{\alpha }$ 描述从序数与定义能够规范地产生多少集合。

层级本身不会决定连续统大小，也不会证明选择公理。它只是统一的容器；关于 $V=L$、CH、大基数或力迫扩张的额外结论，都来自对层级结构施加的新定义或公理，而不是从递归式自动推出。