可构造宇宙V=L： S: x" T B3 V6 ^
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得( s2 \& v' t3 g# w! x8 [
x = {y∈X :φ[y,u,u,u,……]9 n/ m/ d" h% F
然后：$ ~: r. M' K& k& `
L=
% e5 N4 t% Q& i( _* \$ w& V5 yL=Def(L1)={}=1
' l) K- t% L5 d- r5 GLn+1=Def(Ln)=n
; \ s" |% d& |$ S2 yLω=∪＿k<ω Lω
: s/ z$ Z5 j4 pLλ=∪＿k<λ λ is a limit ordinal
6 G% {# k: C- C+ l* @是极限序数& v8 Z1 u% U8 L
L=∪＿k Lk，k跑遍所有序数
) W" p: o% n/ M+ P( E! l* u遗传序数可定义宇宙HODs：/ H1 L% s" `8 V4 S' h) ^/ e+ `2 ?8 F1 m
2 a' t8 |& e6 L0 Z% ?/ _ xHOD=V
2 F6 i% l7 I* u0 ]" a
# ^- w: t, [ jHOD=HOD^ O n- W& k) {. L$ q. ^
' I6 d3 n2 D/ a4 ?, ^- H/ `. zHOD^ω=∩＿n<ω HOD3 l; O! Z1 c8 L' v3 t; d
( Z8 t1 T9 E6 f5 f7 T. L! hH=V% ?2 k& L8 H! J
5 R# Y1 h* B/ T+ {0 l, H
H^α+1=HOD^5 a0 n& L- U4 h# j! j, N
" x7 \9 S8 H6 V0 C* ]; m' I
HOD^η=∩α<η HOD^α% D6 ^$ k6 m* v# C7 s+ f2 o5 }: i
: A% `- B/ h0 } {# ^% K
对所有HODs的脱殊扩张$ @1 F7 @, B8 c3 P0 m
- b7 X% S+ z" h& U& \0 T2 J& [
gHOD=∩HOD^V[G]% U {* ^% N* j j3 k
或许还有：# G! ~( U7 `, F9 t$ N& L
序数宇宙V=ON
# M6 c$ n! b8 V6 X良序宇宙V=WO
/ {, ]0 d/ W* j2 }4 o9 p良基宇宙V=WF
2 R% x6 q! X7 w0 R于是可能：
) z1 C/ A! F; g# H* ?, `& P7 dV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43