可构造宇宙V=L:2 n( ?4 }; G' z& W; l
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得( o/ J& v0 Y& [5 M; A
x = {y∈X :φ[y,u,u,u,……]
7 G; n {! _1 y* ]然后:7 C. Y S' _: m+ m5 }* q" b- `
L=+ S) I% G- N Z/ j
L=Def(L1)={}=1+ S& a; }& f' I1 R( |" m
Ln+1=Def(Ln)=n
: {" Y6 K; Y! r& w6 h7 W7 KLω=∪_k<ω Lω
% L. [# s5 x1 F# }Lλ=∪_k<λ λ is a limit ordinal: o4 o8 ~! e, ]* V* c2 D
是极限序数' R# A. ^* T7 ~( {" l0 [
L=∪_k Lk,k跑遍所有序数 T0 H$ C$ @& m7 E- `% `: v, x+ d2 a
遗传序数可定义宇宙HODs:6 g5 E! P7 ^1 U) G
9 ?& \4 a1 C* G% x, |( [HOD=V
3 V6 t4 B* x# n) E# h. [% m) K1 ?
HOD=HOD^
# X$ o6 b! O# S6 T4 ^% e: N( T# D, W) p- \+ u8 w
HOD^ω=∩_n<ω HOD
+ Z# U' k' b6 [" W, i& v: w6 J, F" A# l+ F' M
H=V
* `5 P8 K) x8 ?0 k j# O+ x5 j
5 s. i1 d- U, v rH^α+1=HOD^
) C* u6 A, [ u5 y% o- f( ?5 z) v1 c1 H
HOD^η=∩α<η HOD^α8 c' A0 v. l7 m7 _3 r+ e+ w
+ E6 p% m9 b. z( _7 q
对所有HODs的脱殊扩张
) M# l- a2 I& w( z: ?$ n
* I- a6 U1 n/ u/ FgHOD=∩HOD^V[G]
- t% j6 x2 Z4 `) k! w5 M% y% }或许还有:4 w" C6 G" ^" K3 |0 P2 P. t
序数宇宙V=ON
, Q0 O$ s Q- C% T2 p e良序宇宙V=WO
/ d$ V& U8 z ~1 K. Q良基宇宙V=WF, C, C! S% m3 |- f c$ V
于是可能:
% g5 t" u: [, k5 xV=L=ON=WO=WF=HOD=Ord=终极L=………… |