V=u_k V_k，k跑遍所有序数，令ord为所有序数的类则V=u_k∈ord V_k</P>

V表示宇宙V，?表示初始状态，a表示任意序数，p表示幂集，u表示并集，k表示序数。</P>

可构造宇宙V=L</P>

定义def为一个包含所有x子集的集合。一个x的子集x位于def(x)当且仅当存在一个一阶逻辑公式φ和u?,u?,u?,……∈x</P>

使得x = {y∈x :φ?[y,u?,u?,u?,……]</P>

然后:L?=?，L?=def(L1)={?}=1，Ln+1=def(Ln)=n，Lw=u＿k＜w Lw，Lλ=u＿k＜λ λ is a limit ordinal?是极限序数</P>

L=u＿k Lk，k跑遍所有序数</P>

宇宙V=终极L：</P>

V=终极L的前置条件：</P>

一个内模型是终极-L至少要见证一个超紧致基数。一个内模型是终极-L也可以至少见证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。一个内模型是终极-L必须是基于策略分支假设Sbh。</P>

如果V[G]是V的脱殊集合扩张并且V在V[G]的 w? 序列下不封闭那么V[G]≠终极-L并且V[G]中普遍分区公理不成立。见证普遍分区公理成立。见证强普遍分区公理成立。终极L是一个典范内模型，并见证地面公理Ground Axiom成立。</P>

V=终极L的直接推论：</P>

见证最大基数伊卡洛斯的存在性。见证真类多的武丁基数终极L是最大的内模型。见证能够和选择公理兼容的最大的类- AdR 公理，并且θ是正则的。拥有最大的证明论序数。（即使序数分析目前远未到ZFc的水平）见证能够和选择公理兼容的最强的实数正则性质断言，见证 Ω 猜想成立，见证每一个集合都是遗传序数可定义的，hod猜集合都是遗传序数可定义的，hod猜想成立。</P>

见证ZF+Reinhardt不一致。存在非平凡初等嵌入j:Lλ(h(λ+))→Lλ(h(λ+)) .</P>

V是最小的脱殊复宇宙。</P>

见证广义连续统假设成立，并且 w? 上有一个均匀预饱和理想。见证正常力迫公理成立。存在包含武丁基数的真类。进一步地，对于每一个rank-existential 语句φ若φ在V中成立那么存在一个universally baire 集AR使得有:hod????‘??nV＿Θ?φ，其中Θ=Θ???‘??(A, R) . (V=终极L)