可构造宇宙V=L:5 w2 B I% ` R; M
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得8 ?) q3 ?% d9 @2 ~, i0 D
x = {y∈X :φ[y,u,u,u,……]( K6 |( Z. i( `- k& e
然后:* Y, i# m5 r) L( R$ X9 T" a
L=
% G# C9 O5 N' n! AL=Def(L1)={}=18 q! F8 i" j4 K% F' I: i& s6 J8 S
Ln+1=Def(Ln)=n# ?6 Z. |3 {- c4 s
Lω=∪_k<ω Lω
9 K7 y1 }/ b7 NLλ=∪_k<λ λ is a limit ordinal
" a- n f6 W2 E! `: m是极限序数
6 y# }% H/ z9 _0 qL=∪_k Lk,k跑遍所有序数
% H5 Q% A) }7 M遗传序数可定义宇宙HODs:. M& H$ h. `" Z8 s; P1 X6 I
$ \5 i' Y6 G# d2 r* d* [9 DHOD=V- @ I& F0 z& V- l/ F
' v4 n R9 S. k1 M0 i
HOD=HOD^) a5 ~. `* Q& H3 x+ f
" O" A3 y8 p) }
HOD^ω=∩_n<ω HOD
" {8 c+ ~: x$ g& K$ X6 z5 \( G: s8 x1 w' {% E
H=V
2 L; x5 Y; r0 n% ?0 g2 o1 @7 A8 o- g
H^α+1=HOD^5 G# v9 x! u; p1 M Z" g7 }% _
- v" ]2 C# s7 f. V5 eHOD^η=∩α<η HOD^α
9 C$ ~5 L, S8 a/ b1 `/ ]. k) c; I p' K3 M5 j! V* j
对所有HODs的脱殊扩张
: ~, W6 H& c3 D* v; A5 ~$ S4 [9 ?' |5 I3 C. B7 @) ~8 D
gHOD=∩HOD^V[G]
5 r d6 n# {! y或许还有:1 n& b) S; F$ _: ~" n8 T" ]# F7 u3 X. b8 [
序数宇宙V=ON; m( a7 S$ ~8 ~- Q; m
良序宇宙V=WO; r1 h3 V) F2 }$ q. p7 g' m5 x3 N
良基宇宙V=WF& Z9 `4 ?4 G/ \1 w [2 |: a/ n7 \
于是可能:
6 N# p+ J, n' N: H0 l, hV=L=ON=WO=WF=HOD=Ord=终极L=………… |