可构造宇宙V=L:
& Q) I, F! m; s5 L! K! i* O0 q2 @/ X9 P定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得/ x! Z: J. @2 q7 i0 j+ g
x = {y∈X :φ[y,u,u,u,……]
c9 ]! [2 Y1 E6 D然后:
- L' T: u% E. O C. xL=, S2 o2 Q1 s) \1 F
L=Def(L1)={}=1% z2 T+ [% ?2 f5 r
Ln+1=Def(Ln)=n
0 e) G. w/ w+ P* p m3 t' HLω=∪_k<ω Lω2 ?% |7 N [" q
Lλ=∪_k<λ λ is a limit ordinal
( _2 Y) d. v' p5 {是极限序数
) V5 o3 J5 J1 P, P6 `2 tL=∪_k Lk,k跑遍所有序数
; M; z8 ~, }* ?. ~5 n' }- w遗传序数可定义宇宙HODs:
9 x, m5 |: p4 {. A, Y, F
: I" \9 }: V* K* kHOD=V. Q* Y2 n$ |1 \
* P- L) U' @' F/ N+ q/ i% U5 T& z
HOD=HOD^5 o, k, H9 Q$ |. ^
7 R' U& X* t6 p6 F! F: OHOD^ω=∩_n<ω HOD w9 C8 R. C p# I! p7 c; n' @ m
) Q! r3 L) k: |7 KH=V. U8 \& C7 u4 t' w& ]. G
7 g4 o) ?" F0 T+ h/ f8 XH^α+1=HOD^2 i5 U1 }( f: ~4 ? s
* v/ e [: T8 Y% X4 o" U% lHOD^η=∩α<η HOD^α
& S7 }: s9 J3 A1 O
# g/ I% S8 [- r6 l对所有HODs的脱殊扩张2 t+ u% y/ L1 w; s1 S* H
2 F$ t; g* S W4 R: v( q/ A
gHOD=∩HOD^V[G]
; u: D; m. }+ I7 B或许还有:: k+ ^; h1 Z* {1 `/ `
序数宇宙V=ON/ e" J7 @4 d' L, H6 j* e
良序宇宙V=WO9 e) s8 i/ J- b* r; K. G
良基宇宙V=WF$ o, b+ v* [1 s; q( p
于是可能:
5 H9 H9 r/ M3 {# ^, d2 b7 z5 IV=L=ON=WO=WF=HOD=Ord=终极L=………… |