定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
x = {y∈X :φ
然后：
L=
L=Def(L1)={}=1
Ln+1=Def(Ln)=n
Lω=∪＿k<ω Lω
Lλ=∪＿k<λ λ is a limit ordinal
是极限序数
L=∪＿k Lk，k跑遍所有序数
遗传序数可定义宇宙HODs：
HOD=V
HOD=HOD^
HOD^ω=∩＿n<ω HOD
H=V
H^α+1=HOD^
HOD^η=∩α<η HOD^α
对所有HODs的脱殊扩张
gHOD=∩HOD^V
或许还有：
序数宇宙V=ON
良序宇宙V=WO
良基宇宙V=WF
于是可能：
V=L=ON=WO=WF=HOD=Ord=终极L=…………
页:
1
[2]