可构造宇宙V=L：
$ r0 W4 B+ X0 A" H3 Z定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
9 l/ N2 i) z* ~$ J! j: [x = {y∈X :φ[y,u,u,u,……]
' }' L) I" V( c% J9 x/ g然后：
+ r* [: l/ U# eL=
8 l4 F9 A y7 U; y* o( OL=Def(L1)={}=1+ h3 B7 A0 R7 t" Q$ \
Ln+1=Def(Ln)=n3 q: \; ?$ r3 P) K2 @# n
Lω=∪＿k<ω Lω
0 b' _: j2 d% @- ZLλ=∪＿k<λ λ is a limit ordinal8 v7 ?) ^' g, E( u, h: p6 J" q
是极限序数
7 C! r) y$ @2 K; x8 S6 aL=∪＿k Lk，k跑遍所有序数
+ |; y3 z% F! S2 T9 M遗传序数可定义宇宙HODs：. X+ w/ P# V" ^9 a5 b
! `! O) n) a& _$ F' ~3 LHOD=V
; J2 w% ?3 v0 ~6 g9 Q( H$ b& l& n- X3 m
HOD=HOD^4 g: ^2 l+ |7 N6 i% X. a
y2 j! H. Z# N0 F! mHOD^ω=∩＿n<ω HOD/ u8 r0 I! E$ Y& Z2 C
7 m! N6 [- \1 H4 c
H=V
; Z$ M' u& o) E2 i& O/ b
% {) c- b5 D- nH^α+1=HOD^: G1 w* x- N; K5 D
9 p+ Y3 n+ l2 }; ]4 jHOD^η=∩α<η HOD^α
) [: S a( e$ ^4 U
; d* D; A9 |! M! r7 b. W对所有HODs的脱殊扩张
" w' F) M2 M9 _) E* r6 b
$ H$ e" n# s2 {7 a! i7 O+ Y0 SgHOD=∩HOD^V[G]
5 O- h. b* {4 j/ h或许还有：# u a0 q% x. \5 l
序数宇宙V=ON' k: L- W7 E9 l, p* e6 r
良序宇宙V=WO/ s$ W+ v: Z+ r$ [9 Y
良基宇宙V=WF* D- Q: b1 M: E9 B# C: f. H+ y/ ^
于是可能：0 F5 `$ ~; j( w
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43