可构造宇宙V=L:
9 N }/ t# s) E$ b& t定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得' P" }% C3 T7 I- t1 Z- k' D4 g! f9 G
x = {y∈X :φ[y,u,u,u,……]9 ^' { H5 K4 b; h: S
然后:" y4 F7 [$ M% i
L=2 F- Z$ ~6 J/ i- U1 m7 `
L=Def(L1)={}=1& b( j& v/ o2 _0 [, a7 y+ a
Ln+1=Def(Ln)=n6 U4 d7 c) ?" V& x U0 h9 W
Lω=∪_k<ω Lω. m; z a( s, i
Lλ=∪_k<λ λ is a limit ordinal
1 J# |$ [6 U! V' O b4 E+ ~是极限序数5 g# F& v+ c2 S& T0 a$ _
L=∪_k Lk,k跑遍所有序数
u8 `! F @$ l. s T遗传序数可定义宇宙HODs:1 H/ t3 i% O6 y. q
0 u5 d/ b2 k$ o( CHOD=V
5 [5 i4 b/ R& `* j# C1 o" z, H3 t8 u0 V* T
HOD=HOD^
$ F8 c6 e9 D3 ?; [& t% F6 M( ^" j& w
HOD^ω=∩_n<ω HOD
9 _( J$ {+ K5 k* S X: d4 E
4 o* x! k H" R1 R4 i7 ~H=V" t# u0 W. B1 y6 a. }
1 Q; j, M1 V5 v- n
H^α+1=HOD^- h2 s' _$ l# T' X! o
7 n3 Y& [! }' a2 m& w7 T* [6 s
HOD^η=∩α<η HOD^α
# a) g2 u! D; V1 Q
# I A4 z+ ~. I6 a( C& S& T对所有HODs的脱殊扩张
# Z' @. k9 G3 A ?
- w( Y/ f' N, ~, {! PgHOD=∩HOD^V[G]. v- G5 p2 B9 t. p$ l
或许还有:' W" J- U/ n. ]" y9 L( j/ G
序数宇宙V=ON1 e, F4 V- `$ s- F
良序宇宙V=WO+ x5 R) z# `' f& a% O* R# q
良基宇宙V=WF% R9 y: `$ e# l6 e' w
于是可能:
+ {& W4 ~9 Z# k( u7 ?# U xV=L=ON=WO=WF=HOD=Ord=终极L=………… |