可构造宇宙V=L:
( S, T4 I0 I* t W定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得+ k9 b5 j6 f$ U
x = {y∈X :φ[y,u,u,u,……]
/ n* l/ `& U4 F' V" w2 X然后:
! B6 w9 h# K; {! hL=
+ w' |3 w8 S9 @" _: D5 |2 \L=Def(L1)={}=1& k/ K4 |" }# m2 c& S, i3 Y
Ln+1=Def(Ln)=n
, M# m; h% H: I% [Lω=∪_k<ω Lω
+ B: G" Q( D7 s) B, tLλ=∪_k<λ λ is a limit ordinal. q3 R) }( W( h
是极限序数% [: @( a: W% l+ R' c4 b
L=∪_k Lk,k跑遍所有序数
( h$ o) c( \, L3 R遗传序数可定义宇宙HODs:
# l% r$ G8 a& L- `6 f8 o! v. }5 `- l0 a y, V9 O8 `
HOD=V5 C1 w) k6 e: X# g- |! b$ `
/ z" M' \3 t- D7 _
HOD=HOD^! S& a) ^8 w2 m- Q: d4 O3 o
1 |: z8 g( y5 f% FHOD^ω=∩_n<ω HOD4 n5 ~2 B9 h- U
D2 S$ N7 w6 K- U t& s! p$ ]0 y
H=V
v' X0 Q) ?: Z2 P# K3 m7 p$ x
6 j$ a1 q* I \' s$ vH^α+1=HOD^( l8 l7 g( z! S; t, n* X/ l
" z2 `6 u6 Q1 y/ w1 xHOD^η=∩α<η HOD^α0 `; q/ D* n- P, E
1 x& X' a7 E* B对所有HODs的脱殊扩张
# q! m# }, b$ `( Q9 W4 u) {* ^ ^* r
gHOD=∩HOD^V[G]
, G2 D+ ~$ q3 w: l1 Z; X或许还有:
) l* q1 G6 }8 Q序数宇宙V=ON
q1 ]3 `! z4 @# ~0 F良序宇宙V=WO
! k3 d- Z% t l# c良基宇宙V=WF5 m( n# \7 a" i, `, q7 L
于是可能:2 D. f4 C E, Q$ @
V=L=ON=WO=WF=HOD=Ord=终极L=………… |