可构造宇宙V=L:- h. z4 R9 a( U G( R
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得$ z) o/ W" G9 p& V# n5 k/ e
x = {y∈X :φ[y,u,u,u,……]
" d8 l9 W' C1 B `6 }* D) T然后:, r1 w4 x$ V' [& @
L=, e- n: I1 K. W4 D
L=Def(L1)={}=1: H7 c" m: [8 F7 K% B
Ln+1=Def(Ln)=n
. a) U- [2 F5 nLω=∪_k<ω Lω- A9 C) T2 X2 w# @, m' C( C
Lλ=∪_k<λ λ is a limit ordinal
, D# T4 y' s- q9 y是极限序数, F9 Q8 w+ p' F+ ?; `
L=∪_k Lk,k跑遍所有序数
% k, `) Z- W( W. ]遗传序数可定义宇宙HODs:
( q1 M4 _8 C# K B
5 m8 R1 a9 n7 `: U( D5 P! c NHOD=V
; _$ Y! h h8 k4 w7 I$ j- O* [0 @% m6 S2 C1 g/ y, o' ?
HOD=HOD^) s+ O7 F1 I/ z/ y
& b( d+ a4 E" ~0 E k. H+ i
HOD^ω=∩_n<ω HOD7 }- r0 z% }& A
* H. o# n$ p" J) | wH=V- w, l! y" A- \& I/ `5 m: |
/ |* z' j0 q1 t _5 K, n
H^α+1=HOD^
) U: N" b) [9 x8 H8 Z9 J, _* I
( W6 P+ a2 u# O6 ?* LHOD^η=∩α<η HOD^α
+ Y6 A$ p8 [, I
* `3 S h. j, G! E: n5 c1 M对所有HODs的脱殊扩张
+ Y* a7 X! p' [' i4 F: M; x( X/ |6 [; l- @/ n
gHOD=∩HOD^V[G]( B1 N! o# R# t
或许还有:! I/ k' q, G5 h: B ^* q. n
序数宇宙V=ON
7 Y0 {$ q" [" z4 s+ P良序宇宙V=WO/ c2 j- u+ G- B' r- x8 ~
良基宇宙V=WF
2 a5 { U, M, b I0 P5 A2 c' N9 U2 W, w于是可能:
, C1 [( e. F1 D" {' `V=L=ON=WO=WF=HOD=Ord=终极L=………… |