可构造宇宙V=L:. O# V0 T7 Q) ], {$ ^
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
d, Q- o0 K/ [+ ~2 Gx = {y∈X :φ[y,u,u,u,……]- ~% N6 ^4 Z- }/ V+ e& p
然后:$ ~' K7 z# M: _
L=
7 Y( d. A a9 o( w3 H9 z# ]# jL=Def(L1)={}=15 ?% Q5 e" k# i* g/ T
Ln+1=Def(Ln)=n
1 A* P) I8 [( FLω=∪_k<ω Lω& ~# W- [* D6 Y9 f6 o) P
Lλ=∪_k<λ λ is a limit ordinal# _( V8 c" v! T
是极限序数 m# e& Y2 [3 u" O# ^
L=∪_k Lk,k跑遍所有序数
4 S/ i( [/ z0 p遗传序数可定义宇宙HODs:
+ u* r, @! n) ^% `0 z8 i5 O. x0 b5 d' y" ]- |- V
HOD=V
4 b3 h) P1 `9 Q/ K; I. J1 U+ E# O. ^
HOD=HOD^6 H; K8 ~* e& R, q" Q
/ Z6 P& [" ^$ |; ` ~5 tHOD^ω=∩_n<ω HOD
7 {* [2 D# E$ T8 w& ?
" e2 ^& }5 `7 v! b, D" g3 Q7 ^H=V4 }. e' M1 L+ y6 M" F
% R* M: Q$ [" h! M8 z: m5 m% r) AH^α+1=HOD^
% G1 w% ]# p! j6 \
% }+ S+ S5 W, [( R7 S! dHOD^η=∩α<η HOD^α
, J6 }. v) \. {8 y' }4 ]
$ `7 v( D* v6 O8 w$ F1 b对所有HODs的脱殊扩张5 d( ~+ n0 r0 Y: J+ Y
* c$ y0 o" H5 D
gHOD=∩HOD^V[G]$ h, b+ j! l' r
或许还有:: E; m9 l1 W$ w& Y! x0 N/ G
序数宇宙V=ON7 [3 J0 b k5 t6 ] ?9 i, J
良序宇宙V=WO" g- |) z: h/ {% }! \- r; V/ F: d
良基宇宙V=WF
; S/ [) ^% p$ a* w4 a; q于是可能:- Y# Y7 t2 j# X A. p
V=L=ON=WO=WF=HOD=Ord=终极L=………… |