可构造宇宙V=L：2 j: [8 E9 s# }5 y, L
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
& S3 C$ `# x! B( D" Hx = {y∈X :φ[y,u,u,u,……]$ V8 H M% o9 Q7 n! y
然后：
1 A# X* j, ^2 Z# W$ k5 }L=* h2 ^' C) x; N5 H, P! h
L=Def(L1)={}=1
+ E( @. B. ?# f' ]Ln+1=Def(Ln)=n$ D/ I( p9 ^& x8 Y9 y( Z5 N
Lω=∪＿k<ω Lω1 G; t* @4 Y7 u3 Y- e
Lλ=∪＿k<λ λ is a limit ordinal2 @, X3 t. H+ @
是极限序数" a( V6 S1 B8 K* S7 d, g
L=∪＿k Lk，k跑遍所有序数
; X' T9 V9 l) ~& h$ f- p A! @遗传序数可定义宇宙HODs：7 b+ p6 x, Z+ Y7 _% x% C7 z! B2 K5 a- {
5 m% Z: B6 r6 n9 w# K6 Y8 I- ~& L
HOD=V3 S1 K C3 j3 z; N9 P7 R
% \+ R9 Y* Y$ V1 V; I1 g3 k1 |, nHOD=HOD^
# ~2 ~2 x# ~: ] R1 [* P
) U ^) {8 F. P) s+ W+ t" XHOD^ω=∩＿n<ω HOD1 Z9 `4 u. |# ^
' z6 z7 J0 g4 q4 m0 ^9 kH=V( Q1 m& c% P) R2 s! l& P4 Q
/ V, r4 _% u1 y9 ^4 Y% c; jH^α+1=HOD^6 J2 T' f! s5 \ | A
( v6 ^1 h* M" o( V- ? d; e
HOD^η=∩α<η HOD^α% x. T6 c+ e% F3 z
0 T' S6 Z8 x- T
对所有HODs的脱殊扩张, E+ c* ]9 ^$ C" [8 j8 j5 g
8 \2 }. q$ z5 w$ U: {
gHOD=∩HOD^V[G]+ x1 _8 E8 J7 D! l3 G
或许还有：
) H9 N4 p8 ^$ N6 J; T7 K0 g序数宇宙V=ON
7 r& \3 x' N! a4 d* G( B8 m良序宇宙V=WO e, ?% G. R1 v6 L9 x" D0 j z" m
良基宇宙V=WF& _, A$ d" Y6 C
于是可能：
" b' e- g5 V6 i# ^6 V* r! C/ H: [: mV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43