可构造宇宙V=L：; F3 L- N3 Q4 h6 G6 b, x1 Q
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
e. ]2 _5 ]) W& l+ ?% }x = {y∈X :φ[y,u,u,u,……]/ M1 _1 }0 R3 l9 z1 Y
然后：
$ m) R: Q- b4 t1 x' o0 KL=
5 ?2 @: k+ \7 F4 p7 {2 D2 l* iL=Def(L1)={}=1- d" f0 @2 l+ i
Ln+1=Def(Ln)=n
3 g) f' y+ K1 F5 B4 q [# S+ D, X) M4 oLω=∪＿k<ω Lω
' I$ y. S# q, Y; w0 \( B @Lλ=∪＿k<λ λ is a limit ordinal) L. G( L( O' b% @# \+ L
是极限序数
; _6 _. t0 k$ E% kL=∪＿k Lk，k跑遍所有序数+ ], Q$ F9 j4 E% I; v$ Y
遗传序数可定义宇宙HODs：- o& q' |) {* ]$ Y
4 d; j2 N+ g% L* r- Q
HOD=V
; d4 b) w6 k$ {4 e
4 B9 X# u, K" R+ ^. c! CHOD=HOD^
, w5 }$ a+ C( J R' h
, M( I) C& p+ R9 N7 dHOD^ω=∩＿n<ω HOD
6 Z3 a. t% J) P0 \+ j, B6 M4 n' D, G! Z5 L! i$ i+ t
H=V
! Q1 W2 ~& _6 v+ |. j1 i3 X7 A6 M, K9 e
H^α+1=HOD^
; L; I) ^! h$ G6 B# \
) j! `, ?' a2 D$ `8 aHOD^η=∩α<η HOD^α
5 g5 ^4 Q/ f- ]9 ~3 c( P8 U3 t
/ C# ~4 I& ~- k1 W, y' u对所有HODs的脱殊扩张
2 L5 s6 X9 j( F
" E7 B5 Q" T/ z% O; g" v- U9 p0 ~gHOD=∩HOD^V[G]
9 `, _7 `3 K$ Y7 j) w- H8 E9 \, p或许还有：
% T2 _( ?% M7 v( t4 i8 D: t序数宇宙V=ON# ]+ T$ L0 x; v6 R- } v% ]: o
良序宇宙V=WO
) Z1 D0 F: N( ^1 K/ w2 G良基宇宙V=WF
|8 l" U0 q0 x* n0 t" l$ m于是可能：
4 p( P( e0 }: e8 S5 `4 OV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43