可构造宇宙V=L：0 w6 \2 X& h" G1 ?! X$ \( V
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
. f: S% C% q i! {8 bx = {y∈X :φ[y,u,u,u,……]+ k/ ?0 O& ]4 B* _# Y5 V
然后：
& }/ j$ `3 ]2 h1 _! O1 a$ x. E7 yL=
: G0 _0 c8 ]" u! U0 _3 Q3 o, Q& aL=Def(L1)={}=1: {4 C, I# U! N f) K
Ln+1=Def(Ln)=n! |+ b* }8 q$ e7 @
Lω=∪＿k<ω Lω+ n. p3 V& l% m9 u
Lλ=∪＿k<λ λ is a limit ordinal
# ]6 i( W3 F# J; V- \: B' s是极限序数- A- ]! N8 D: ^& c9 x/ i$ c
L=∪＿k Lk，k跑遍所有序数
6 }7 Q6 a# N6 s/ a2 Y* b# s* H遗传序数可定义宇宙HODs：; h; o8 a4 T' y3 ]2 `, P4 S
* g% K# v" s& W' Z
HOD=V+ r6 ~3 r7 H0 R! ~. @4 S- q( ?
+ \$ }+ b+ F% M7 w0 _& x
HOD=HOD^9 t1 [9 y( r7 \! X
/ Y0 H+ z& K& EHOD^ω=∩＿n<ω HOD( n* z5 p5 v. W5 R0 I
5 Q% Z# Z; y6 f$ bH=V" [6 m3 N( Y7 T- o
: G0 ]8 o) n x+ aH^α+1=HOD^$ o, ]/ x5 z Z3 K- n# X& D
% V0 c2 E" D9 N+ g
HOD^η=∩α<η HOD^α
" U$ B. I' l: {. O
( d1 T$ n# t6 R9 X" F- ?对所有HODs的脱殊扩张
( D5 O- R( `/ [+ f3 H2 \8 J' V% y' E% M4 }% c1 T$ `% D
gHOD=∩HOD^V[G]5 V% D8 ~1 h1 F1 Y
或许还有：
+ w: B, V6 k: ~: }0 `; L3 l: @4 j! T0 l序数宇宙V=ON6 ^- s X( J: A! _5 N- d' X1 m! Y
良序宇宙V=WO
4 O! [5 A: a+ i8 i, g2 U: t良基宇宙V=WF4 s$ V/ |% @4 z9 r4 k6 h3 e
于是可能：
8 e# V6 k4 M3 H1 X! kV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43