可构造宇宙V=L:% Z; D3 S6 z5 v& s8 B2 I
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得* K9 m: e+ J9 P9 I5 K) y6 p+ i1 l
x = {y∈X :φ[y,u,u,u,……]6 a( x/ e- X9 Y& y- c S
然后:3 A# Z& N/ a3 \6 L% |+ d: I! L
L=# Q. E& ?! l. B) f1 d* B
L=Def(L1)={}=1
- Q$ y7 ]9 U0 D0 v$ q) J7 y SLn+1=Def(Ln)=n6 o1 E4 z' K# p
Lω=∪_k<ω Lω1 u0 X) _( m4 I" k
Lλ=∪_k<λ λ is a limit ordinal( ^$ @# G+ B# w0 O: N1 p
是极限序数% M+ m7 y% E" L- m
L=∪_k Lk,k跑遍所有序数
" c, B$ y& ~5 L9 \遗传序数可定义宇宙HODs:% I D6 N) m/ W3 P$ G( m
( Q: w- s% S+ Q4 {3 m
HOD=V5 f/ G0 Q) v2 f
2 M. b9 e" q/ Y9 A; F0 F! N
HOD=HOD^
+ z, P1 v/ b& V0 |
# y" x# a* F* }3 y# z8 x- fHOD^ω=∩_n<ω HOD
( W$ E8 G6 S- F2 c' O9 P1 w5 A1 [' t% S( l& U
H=V
6 r% d6 [: _5 @4 s# ?4 d8 g A, s% O1 t$ Y( ]
H^α+1=HOD^" R7 }$ I2 m: P0 U+ ]# x
3 n& W2 ]0 ^/ Q$ BHOD^η=∩α<η HOD^α/ e( i% ~' o- @* A- v6 b9 j; r `5 w& V- k
) d' N: i3 C0 t5 E, @对所有HODs的脱殊扩张
$ V( N6 G; y9 U( ]' a4 W! ~, u* _+ d, p& _, o5 _, s! x& X
gHOD=∩HOD^V[G]3 O, V- `% ~5 ^+ ]* K6 i1 g
或许还有:
2 k3 |3 g1 T$ o序数宇宙V=ON
+ ~% y/ I" a k! l- t- \良序宇宙V=WO
( V, r; d4 g0 D& Q, x- k$ \/ n1 ~良基宇宙V=WF
9 T3 o7 U& M* f7 v7 T- \) t1 X于是可能:+ m3 F/ O g0 K% {+ i6 ?
V=L=ON=WO=WF=HOD=Ord=终极L=………… |