可构造宇宙V=L:
3 E) H- ]. N( U6 t6 f2 M \& l定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
; B+ L: X* {2 w3 Y) C* I1 tx = {y∈X :φ[y,u,u,u,……]
1 i$ b4 ^1 |4 \" W$ M; z然后:
9 q5 a* _5 y, H0 H* SL=) L) X, M5 Z- C5 f
L=Def(L1)={}=1& g6 V# g0 J* } G& m* \8 W1 f
Ln+1=Def(Ln)=n- }' F. c p) z" f
Lω=∪_k<ω Lω# y( o, t; K$ u' q
Lλ=∪_k<λ λ is a limit ordinal& I8 ]* H0 e0 }1 A/ r! V" H! @- o
是极限序数
2 ?0 M4 x/ F. S) K2 mL=∪_k Lk,k跑遍所有序数
0 Z. t# l, ]& f* J) U遗传序数可定义宇宙HODs:+ D! \8 d' f0 a: [# q3 X; l
# u' y( E4 \7 D, j
HOD=V% l0 ? R3 `- W
/ B- C- P8 g) t& l3 H
HOD=HOD^
" D7 q& { J0 [$ v: H( z- P% A/ ~2 U+ k; Q( C% Y# n
HOD^ω=∩_n<ω HOD
0 Q) e1 R! r( ?, c
4 [" [$ s4 o' h; d& P$ zH=V4 _" }. T+ u) _$ |
3 i) [ g; v6 S, T, v! xH^α+1=HOD^
9 O' l2 c1 c6 }+ z) f4 F
7 R6 K1 [) c2 h2 a1 O9 m; I8 YHOD^η=∩α<η HOD^α3 G1 B) Z g' y. a5 i/ |$ Q
' b) t8 W. g' E- W4 m4 m" w对所有HODs的脱殊扩张+ z2 o ?9 o; x3 `
) E# O _- N! l/ C& Y1 TgHOD=∩HOD^V[G]
1 F3 z% W4 A; R1 X) P* b或许还有:
7 Y% l1 S; }# G1 {序数宇宙V=ON
8 n+ [: e" d9 Y/ T0 B良序宇宙V=WO: y) O& M# r( D5 A# T* f
良基宇宙V=WF
; n6 r$ h# K+ z$ W0 }: D7 D于是可能:
% X m3 F" k/ x4 m% U1 t# n, XV=L=ON=WO=WF=HOD=Ord=终极L=………… |