可构造宇宙V=L：
2 Y5 o$ Y* e7 \1 f4 m3 O定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
! C' U5 P' P& Mx = {y∈X :φ[y,u,u,u,……]
" T e4 ^+ j+ k1 x8 ^* |$ c8 e然后：. M# ]5 F5 x5 ]- s0 G2 l
L= {: z( e; P6 Z$ e$ d& ~
L=Def(L1)={}=1: g5 H. r3 s7 z8 q6 v2 |$ J4 r6 s
Ln+1=Def(Ln)=n
7 m: }/ \- f/ ILω=∪＿k<ω Lω
8 S# u$ c: K' t0 RLλ=∪＿k<λ λ is a limit ordinal$ G. Q. m- d' o
是极限序数. J8 |0 ~& ?. n
L=∪＿k Lk，k跑遍所有序数
- _3 `; D# ~6 Y遗传序数可定义宇宙HODs：
3 R5 W! L: u: X1 {" H/ ]- M
8 S0 n1 B9 V2 Z# Y* g5 q# iHOD=V
( V" Q7 t* n+ t3 U- y& m& J: h7 Y# z2 P- h4 f) b9 ^
HOD=HOD^* U! I, R2 v* m
) D' D/ u: w5 V8 C4 R eHOD^ω=∩＿n<ω HOD
8 K% n9 C6 u$ n# D+ l) b' I8 f }# x% @9 l
H=V2 M& `# h2 l7 @# ^
3 L/ ]+ B7 o3 n% z* E
H^α+1=HOD^
. k3 O6 v' \: S2 n$ J. ], I! t0 Q/ v
4 K5 n* v- i) a8 `HOD^η=∩α<η HOD^α8 \- K9 @& N! F) U
0 S9 o2 w! U; ]5 c1 V; @) r3 F9 ^对所有HODs的脱殊扩张
. W$ A& L5 Z" Y7 A/ C8 b5 ^3 ]: F6 l0 b+ D7 `) ?/ F
gHOD=∩HOD^V[G]* S5 J% E' }; V7 E1 c6 a4 {/ D! d
或许还有：* ]) v% Z$ Q9 A* I" N2 R
序数宇宙V=ON
/ \* @5 `7 V7 ?) s; p1 b* c! M良序宇宙V=WO* Y$ q2 _4 u3 f) z/ }
良基宇宙V=WF& D j/ [: T+ ?4 @/ v2 ] u& y$ g" b
于是可能：
! U1 {% W( S1 C7 r& OV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43