可构造宇宙V=L:6 W. D" z1 p' o% H5 P' A0 J) x; \8 Y
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
; [3 k2 c8 c9 N& b7 t6 hx = {y∈X :φ[y,u,u,u,……]3 S) C x8 u4 G( I9 g. p3 U" m0 O
然后:$ x8 ?' r Y0 K" f. y
L=" F- j' \' S6 o+ _
L=Def(L1)={}=1' }, @3 \7 G+ k/ n
Ln+1=Def(Ln)=n
* e5 e& n, B% ]/ R$ C4 Z5 y3 k! aLω=∪_k<ω Lω
4 g* Y0 _' P! J ^& j2 PLλ=∪_k<λ λ is a limit ordinal/ h' d$ g( U% V; P
是极限序数. {2 w! ]9 t& o7 q, j
L=∪_k Lk,k跑遍所有序数
5 H) T9 O8 [) f& o! j; {0 L A遗传序数可定义宇宙HODs:
# }, s9 O3 y' F1 ^' o" g
! F! s: H" L4 J$ H8 IHOD=V
, e# V" I0 _2 ^$ t0 ]( A
}9 C$ k4 z+ T' C+ oHOD=HOD^
/ }" i" D9 }3 B V% R, E' v3 l2 \
% ~& ^( C( }$ g) l( c6 L$ oHOD^ω=∩_n<ω HOD* }' K& [2 V" P: Q) w8 c7 p
- w. X8 n0 v$ t, }9 j" R
H=V
# B& S( l+ ] G1 }0 ?' x
" O- y% Z% ?; ~' EH^α+1=HOD^" a+ G) W3 B3 ?" l b3 z- z
: ~4 J% U7 i7 l9 S
HOD^η=∩α<η HOD^α0 _6 D) h% `3 ]$ V2 b5 m* l9 z
" J; j/ f! B4 L/ X6 F1 v) C
对所有HODs的脱殊扩张
# W1 c2 l/ m, w$ W$ ^4 f
7 h, p) ~4 Z% UgHOD=∩HOD^V[G]
3 e" V3 l. ]- o1 [! h& |# Z7 o或许还有:" `% ^: ~% n6 m `+ \- u' q5 p
序数宇宙V=ON5 P- O1 G* {# G% O! F- C% L
良序宇宙V=WO) M( t- W1 ]8 h- N
良基宇宙V=WF
* s# Y% R) v% c% Y# B于是可能:0 O7 O2 e+ d4 D8 g x# H |6 x
V=L=ON=WO=WF=HOD=Ord=终极L=………… |