可构造宇宙V=L：
4 X) T: h' J" l" g! o$ o9 Y# z定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得8 I4 | R0 t1 G1 y
x = {y∈X :φ[y,u,u,u,……]
( b- z3 W6 b+ G w1 Q- ~1 a5 w然后：
4 y& u3 X# a" s' T- z4 YL=+ r: a7 \: S* L8 e
L=Def(L1)={}=1" ^' z, ^ a! X3 n ?3 w
Ln+1=Def(Ln)=n! u3 W' d# Z9 g6 ^* X* N
Lω=∪＿k<ω Lω7 T1 ]" c) N' p: `
Lλ=∪＿k<λ λ is a limit ordinal: P! J2 j9 Z4 ?) C% D T
是极限序数
J G% ?2 H9 BL=∪＿k Lk，k跑遍所有序数
# V Z8 `7 Q: H; Y0 ?遗传序数可定义宇宙HODs：
* K y! k# }# u- u/ q; |6 s1 T7 R3 ]& H' K" D* a
HOD=V
2 U$ h# H/ m' c( b4 y( }; I7 ^ G# e9 t1 O
HOD=HOD^
- P9 `& H9 F J4 O; b
2 Z4 A, R9 u6 u5 b( NHOD^ω=∩＿n<ω HOD& D* s7 n& M3 |$ L
2 W' m" [, N3 B5 J4 a5 |& fH=V
$ K* r6 B; |( y; C" J6 d
. V& u) e m) zH^α+1=HOD^
6 F& |1 G* Z" t' }* x- n* P/ A' v& g" v9 ` z
HOD^η=∩α<η HOD^α' R6 z0 _8 p" W. O' }; e
* l; l" L* D+ g, k对所有HODs的脱殊扩张
: f. u$ |2 q3 n* R+ T- S! f$ E( S* P3 ^9 y2 c6 i
gHOD=∩HOD^V[G]7 Y |7 a" c3 ^. ~: |/ ^
或许还有：: `9 }" D# n: B0 w2 P U0 B
序数宇宙V=ON( U! C+ \4 Q; b. A# V4 G" ~
良序宇宙V=WO, T# Q1 z% \* m/ F. g
良基宇宙V=WF C1 q+ [9 j/ D6 L) V) L \2 y
于是可能：9 X' j0 W! @4 b1 `; O
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43