可构造宇宙V=L:3 e8 p9 m: H% P" u
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得: j B. }* X" |+ K2 ]0 o
x = {y∈X :φ[y,u,u,u,……]+ n$ w6 p# D6 p$ N* K0 k+ ~( e
然后:
+ b' F* a1 y) a: H, N( _# I3 cL=
) d! Q+ R: O5 l5 fL=Def(L1)={}=18 `+ ]% g; @: V
Ln+1=Def(Ln)=n
N8 P* S/ r9 Z6 u9 I% JLω=∪_k<ω Lω. a! h, Y) t `- t$ o7 g$ i
Lλ=∪_k<λ λ is a limit ordinal4 r) @: F. s5 w6 C- @* z0 P2 V8 S$ X/ a
是极限序数6 h# I- U t6 m$ W
L=∪_k Lk,k跑遍所有序数
$ W" x" } k3 u d/ p: A遗传序数可定义宇宙HODs:! P, b g- l) u3 L# a
5 ?. [: o, M3 X1 C* j8 i* ZHOD=V
/ s; a8 k7 Q4 W: V* f+ i! o. K' J4 x8 s8 g, ^0 s
HOD=HOD^
# d/ d, m& x4 R0 v, b! T1 c1 q& S. s1 C$ J- |3 ^
HOD^ω=∩_n<ω HOD; F, y( I, }! c/ t& S/ \
) b/ o% M b3 F9 J0 w! G
H=V
) z: C2 X/ t: l6 A; j9 O! X& R+ d- a0 b
H^α+1=HOD^
& x3 y! K. F' P
& ^5 s& Z- D+ f) L4 a& [7 RHOD^η=∩α<η HOD^α% ~! D/ c g' {0 ^$ j3 k9 C* c
* k; o* v. B. r对所有HODs的脱殊扩张) t5 K/ e6 ~( |* B9 f0 b. `/ N
- Z9 b' X- y. \4 }0 p6 v/ N
gHOD=∩HOD^V[G]- v9 Q# j; k# o. o- s" [
或许还有:
, ~" ^+ c* m/ l" J' y序数宇宙V=ON& Q* {; @' U3 b2 H. M5 t: R
良序宇宙V=WO
& t- ?) z/ y. F% z8 N: e良基宇宙V=WF5 w: s# Y! X- ?) Q6 A
于是可能: z9 M2 s# d, Q1 T
V=L=ON=WO=WF=HOD=Ord=终极L=………… |