可构造宇宙V=L:
$ c& ^8 A; h% n a$ n+ }定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得! h9 {9 D0 t* D. u" w& n
x = {y∈X :φ[y,u,u,u,……]
- Q5 t0 P! x1 h' |然后:% H0 V6 b4 r9 |& u$ V3 T' o: g
L=
" w) [0 {/ l, S& b2 ?L=Def(L1)={}=1, A5 i, p' m) h# I: h8 q
Ln+1=Def(Ln)=n
2 J* n7 [0 w) LLω=∪_k<ω Lω
2 ?+ s q0 J6 R- ]4 t3 WLλ=∪_k<λ λ is a limit ordinal% _+ J9 g3 P9 V' U8 O* Z
是极限序数
. r- x: B0 A6 |: p/ ^L=∪_k Lk,k跑遍所有序数
/ ?9 \* l# I) [! Q' C遗传序数可定义宇宙HODs:
- @/ F$ n# S1 L0 U S, J ^8 p
) k, U' ]+ ?) ^HOD=V$ O& _7 n$ U1 c$ c3 Q
& h! `( Y6 x2 F8 L
HOD=HOD^
; d3 j) g8 k+ ?3 X# D$ j7 {, }4 ` r' D0 e5 w
HOD^ω=∩_n<ω HOD: T' m9 @* u7 h; f' F) M' F
; y3 H& F+ b Y3 I2 `' a
H=V
& D' o0 Y) ~, I$ {
! \0 ]2 ^0 {8 R2 cH^α+1=HOD^; i7 j H, I x* _/ F
& Y0 u7 o; M/ @# z& }0 g5 O1 ^! n0 RHOD^η=∩α<η HOD^α0 p6 M, n+ {6 Y* Y8 N
/ I/ v2 P4 Y) O1 U* [对所有HODs的脱殊扩张
+ b6 {& k" A- F% l$ m$ f4 O
5 _+ l3 w! U7 j2 n6 q& w" }* y% ygHOD=∩HOD^V[G]
O$ D( u) M. y. q% V或许还有:
* Y1 v) V0 B* b序数宇宙V=ON
0 A& \' }; g: G3 ^# n0 l( D良序宇宙V=WO% b5 C8 D6 m7 T, U) H( o
良基宇宙V=WF
) ?$ e7 M4 j4 K' ?/ O于是可能:
! j- F6 A9 v& t7 D2 d+ YV=L=ON=WO=WF=HOD=Ord=终极L=………… |