可构造宇宙V=L:
2 k0 }4 f: [! [4 l3 ?5 R定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 T" U& y U" e0 P% s6 f
x = {y∈X :φ[y,u,u,u,……]" m0 B ]4 V! V' ^+ _8 A+ t3 ^
然后:, u8 p7 R- A& b) M
L=
1 A b4 x* X& \, ]1 Q( _ |L=Def(L1)={}=17 e- i& L1 L' h& F) H
Ln+1=Def(Ln)=n* H- }/ K6 Z. v9 I, N! p
Lω=∪_k<ω Lω* Q0 K& X) @9 t) `2 F. O
Lλ=∪_k<λ λ is a limit ordinal
8 W2 X; Z! t8 U! o是极限序数
3 a! }; {" D) u9 h0 i6 |* BL=∪_k Lk,k跑遍所有序数7 V6 \) W8 ^: B" W- o2 ^
遗传序数可定义宇宙HODs:
* k {+ j, h% m" [2 T: w- D
/ w' |# z9 r% e d) oHOD=V& ^5 g! P* a/ R+ D. h. u
$ n4 ^1 |4 }' A$ V- P0 w+ U
HOD=HOD^
! ?: N& Q1 e3 }0 V
/ D: U* q6 Q- N: V' P+ o0 @* pHOD^ω=∩_n<ω HOD+ z. F4 ^$ N. k! V5 U
$ U7 x# Z& ^" j0 n" [H=V7 u# x7 d; o# |5 l! N% g. Z
% I! p+ E, j" _9 e0 m6 V
H^α+1=HOD^+ \8 o# i- q$ A5 c. w
' \- [* i8 q W; PHOD^η=∩α<η HOD^α
/ C: g6 I# N* E' X0 w2 Y; ]4 _ J b, t- i, ^8 U
对所有HODs的脱殊扩张. s7 N# u. D3 C$ a8 r
) c$ u5 Q1 K9 O C1 w6 KgHOD=∩HOD^V[G]- |0 }& o4 u6 w5 [ _" |3 ^, M
或许还有:& \, d1 U6 Y) b8 p
序数宇宙V=ON+ r" m" ~- ]" D, d! @7 R& I
良序宇宙V=WO* X; t, y+ S: {4 C
良基宇宙V=WF" |& P. P* X, }- w$ j
于是可能: Z& L" a) G- C. o f8 ~
V=L=ON=WO=WF=HOD=Ord=终极L=………… |