可构造宇宙V=L:
( C8 C" {& G2 A4 J7 d% P8 p定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
, A$ O7 K6 B5 Y/ F9 ex = {y∈X :φ[y,u,u,u,……]
; H2 a7 V/ [+ e8 \; Q9 `8 N然后:+ N: j, r" r$ e* c3 m! a
L=8 e* V9 X# k$ X
L=Def(L1)={}=1
. k$ }7 d; _8 _0 Z0 Y, V: YLn+1=Def(Ln)=n4 L! q7 m9 c/ P: x, } L- {
Lω=∪_k<ω Lω
" m5 i; z2 X. j: J0 l0 q0 ELλ=∪_k<λ λ is a limit ordinal& z0 Z' M E3 U* u
是极限序数
" `4 S* U* y: k! I* fL=∪_k Lk,k跑遍所有序数
# |8 @+ |* V+ T, U# F9 E遗传序数可定义宇宙HODs:
1 Z4 r, T& _- C! o$ X c, t( m; g6 V& D2 h, d, Y* d* y+ k N
HOD=V9 P+ S* U9 x e8 E# n4 x( _
6 V+ @1 Y: y7 MHOD=HOD^
. M# e+ g2 o/ i1 }( D0 U
7 C$ Q/ a. H5 I2 [5 MHOD^ω=∩_n<ω HOD% m* m: @# a+ ^2 Q9 U
2 U8 c/ p. j+ kH=V
0 J% i0 w$ g( A8 N5 W3 N' J7 V8 G4 g K0 B- Q% ^- T" B: R. ~# Q) ~# J; a9 @
H^α+1=HOD^9 f+ c5 g0 u$ W' G/ C$ ~6 g; q
9 U5 \, a- s1 GHOD^η=∩α<η HOD^α
2 m3 I( \) `- _' H" n% b1 w
3 p( h! ~4 O( [/ B9 C$ n) t! D8 a9 V对所有HODs的脱殊扩张, t0 g7 X1 D3 ^7 V# z* p
* h7 e9 Q; q1 f1 S, ^4 p1 z7 pgHOD=∩HOD^V[G]9 G1 l r7 S4 |- @6 d; g
或许还有:9 L& a8 P5 n. S6 G; c
序数宇宙V=ON0 Y3 c3 Z# [/ V" P/ ]$ b
良序宇宙V=WO
7 }4 Z }6 U- q! B. i3 U良基宇宙V=WF$ n I9 O+ B ^+ j7 I# B8 W
于是可能:
1 `9 Y$ e5 k2 f3 N& ?, qV=L=ON=WO=WF=HOD=Ord=终极L=………… |