可构造宇宙V=L：
?( ~. {# L' i$ q% i定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
1 m0 D7 P/ }8 I* G, Sx = {y∈X :φ[y,u,u,u,……]/ t9 ~. w6 l! r9 h% t
然后： T* v8 M4 L) A# I6 U$ w
L=) v1 P" u3 K. X
L=Def(L1)={}=1! S" o7 w0 E' T( M
Ln+1=Def(Ln)=n
% K, v! y4 e9 g) b* kLω=∪＿k<ω Lω
. m- y* Z* Q/ {; `- c- `/ `& GLλ=∪＿k<λ λ is a limit ordinal& N: n, _; R' `1 ^
是极限序数: Q; x+ x R1 a, i& u: v$ P
L=∪＿k Lk，k跑遍所有序数 W" A3 B2 H- A8 N
遗传序数可定义宇宙HODs：/ @- y" W/ A- b8 T) ^, M+ p5 c& X/ q
& U' ^9 k; `, g
HOD=V
" Y! X+ y% j5 ?& ~$ z& O
& U( G$ W; d, j( nHOD=HOD^& ]4 D3 {* Q9 {! T/ c8 g" k6 x
/ _; q- g7 ?/ l' Z+ _# G( p* ~HOD^ω=∩＿n<ω HOD4 `6 U' j$ P8 o4 F# o9 M
5 a+ ?$ q$ q8 I+ @7 Y
H=V
3 k. `- R/ i8 F3 O) X; K% _; }/ A
* a: R% b) W% X, U% iH^α+1=HOD^& y, P7 B+ M% \6 m8 M& n2 _
$ I- I! o1 E) G3 _ GHOD^η=∩α<η HOD^α
4 ~6 d o& T2 J+ |! {) B; b8 b& @; ]& \& S0 }8 m: B
对所有HODs的脱殊扩张
+ {8 u+ J/ t" G& p4 M
% r" Z6 s7 O2 s `. j4 X, O* fgHOD=∩HOD^V[G]
2 \7 U& x; z+ h! q! P7 h* u; J; }或许还有：% m$ D& J3 [3 a' p# g, f+ c
序数宇宙V=ON" x2 u& Z( d) @2 K
良序宇宙V=WO
9 o f( p b4 w+ f良基宇宙V=WF5 ^* |, c, ~( U _
于是可能：
1 `% h, v, d. L( T% r: vV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43