可构造宇宙V=L：
3 g! p9 ~8 z! H6 G8 G! O定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得3 h _3 @- A* Z- Z9 A$ C6 c
x = {y∈X :φ[y,u,u,u,……]
$ W9 L% x3 g4 _4 Y7 U( y然后：
( H7 }6 I, {1 W6 s j4 m0 V5 G$ D" sL=9 E. I W. d) ?4 S
L=Def(L1)={}=19 s; B6 F- a% r1 Z
Ln+1=Def(Ln)=n% k& v" u# H3 R
Lω=∪＿k<ω Lω% i. s( j: X# s5 Q3 ~
Lλ=∪＿k<λ λ is a limit ordinal. A: k: u) h2 l. y# V
是极限序数% b6 U; r! i" O) a
L=∪＿k Lk，k跑遍所有序数
# {: f0 `" C+ W! N遗传序数可定义宇宙HODs：$ V0 j) a, J& A! k& V
* Y% s/ a+ P$ h* Z ^ tHOD=V4 @& K ~ o2 F. _; w
) m" q4 x, S) }0 Y: }0 X9 ^: Y* jHOD=HOD^
# V2 E# W. u1 d: l+ x" E8 W
# i$ q) i4 }, k* k5 [HOD^ω=∩＿n<ω HOD( o3 j' A; C# a
2 N4 g4 \7 P, K- ~' RH=V$ R6 Z( }' N4 |+ l
8 c# \6 J. B' i0 J; |' g! L5 WH^α+1=HOD^
' J! }3 X) N% _
) B8 \% u9 q' MHOD^η=∩α<η HOD^α$ j! q/ g* u# _& C8 x
1 l8 K# Q5 ~8 h$ J( O' U' t, T: _. Y对所有HODs的脱殊扩张7 s# l7 J0 O1 J2 Y5 B+ g
8 a; i/ r# o1 M
gHOD=∩HOD^V[G], z; W2 }$ p# L# r
或许还有：8 R3 r/ Y$ u* ~+ D! U3 D; p
序数宇宙V=ON$ T+ r# a6 h4 C9 a4 x) t" e
良序宇宙V=WO( z$ j& o0 P, F, ^
良基宇宙V=WF3 U1 [6 k. ~' c( o
于是可能：
3 B) G% i. `" R) t. K! A4 wV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43