可构造宇宙V=L：: R. U5 l7 d& s x% d
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得/ `2 p) d8 ?6 U% k' F# N
x = {y∈X :φ[y,u,u,u,……]( I* n' c. j3 m( G3 d* u
然后：7 \$ A1 l& r5 Q" @, ^) v6 q: T& }
L=
- ?: q6 ?1 |9 `/ e5 U& V% hL=Def(L1)={}=19 y6 V$ g1 q; g' h6 Y5 S$ k4 N% H `9 P
Ln+1=Def(Ln)=n: g( P" [* R) @5 Y a4 C: A7 e
Lω=∪＿k<ω Lω" O0 Y+ _, D) A5 B4 E
Lλ=∪＿k<λ λ is a limit ordinal
$ M$ }# B. p3 ?* V是极限序数
0 o- E! s+ W. y& L, KL=∪＿k Lk，k跑遍所有序数" f, |3 l. s! Y! `
遗传序数可定义宇宙HODs：
0 R: C% o, [) S6 I6 K4 V% f5 L( O' D* A; b
HOD=V0 K' M* N' D* ~' d* [: V8 d
: e9 s; l5 P7 X& U/ r
HOD=HOD^) A3 I/ t3 Q+ H: w j
) S9 H# n0 a5 ^1 `HOD^ω=∩＿n<ω HOD
* N9 a2 u7 u, X$ z v& u5 R4 W6 L* Z
H=V$ g2 X9 L R- ~' _3 ^9 _
( ?# L8 i$ T! K! W! g3 I9 E. L
H^α+1=HOD^) c8 o3 J! K( M( A8 g& Z
5 H# c9 G! ~8 M/ Q
HOD^η=∩α<η HOD^α6 }! g" [. \% T' `8 [! _
( F# i- ?8 s3 F! _$ H# |/ Y3 b对所有HODs的脱殊扩张. i- ^# o' Z8 V
6 [* d( A% B/ a$ A
gHOD=∩HOD^V[G]% h; z. A1 T( Q7 g) d0 V
或许还有：1 q5 q. r& k6 X W4 v
序数宇宙V=ON: @4 m" f7 R6 M" q# x& B. X
良序宇宙V=WO0 y' `3 a* o% E) Q5 R7 X$ i1 o
良基宇宙V=WF, z' I0 l5 z- g4 K! ?8 U9 H
于是可能：& ?! L5 v* c4 I7 _ m
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43