可构造宇宙V=L：
& A- g3 U9 R' ^" M$ T2 G定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得% |3 \$ |; ?% F2 [3 D8 N
x = {y∈X :φ[y,u,u,u,……]
; W; i0 n8 t' y( U然后：4 V$ N5 {2 k% [2 a9 ]
L=
4 x0 [4 u: m, F$ n1 s+ m& V5 d* ~ QL=Def(L1)={}=1
* O- F2 [. R- x$ }: HLn+1=Def(Ln)=n. Q' P3 T2 D% ^, \; h/ j. H
Lω=∪＿k<ω Lω
1 S$ t0 p; j; {: HLλ=∪＿k<λ λ is a limit ordinal
; p3 |, V5 E6 Y$ J7 |' Q$ J是极限序数" m1 J3 h; k1 g2 X- i1 f8 s5 m
L=∪＿k Lk，k跑遍所有序数! ^1 D+ @9 F: P0 l( f0 ^
遗传序数可定义宇宙HODs：4 |: t0 G" D+ \( `
. y6 { A2 O8 N6 k# H5 C. d& O
HOD=V
. Y0 K; p: l; E- I0 ]; f
7 J7 o& P) c& dHOD=HOD^
0 y/ W+ n, e" d6 P7 O$ R: ^6 e7 g9 ?" K7 ^
HOD^ω=∩＿n<ω HOD
" r6 ^* O' k, ^- n; y8 x' g! G/ g* a4 `0 w% D/ E
H=V
- i& N6 J1 u5 C- }1 ]0 @, x) v
3 G/ c9 l6 }) xH^α+1=HOD^3 u5 W, c1 E) f1 N5 E
' x; s4 u, h; O& dHOD^η=∩α<η HOD^α' N( k7 n- z2 m6 m2 s' m
8 b7 c5 {( {4 F4 s% U对所有HODs的脱殊扩张$ D. F/ p) O7 ]8 R+ W
) r1 @1 @4 A! _% s! R" K6 j$ l8 `4 \gHOD=∩HOD^V[G]+ X% H. D' b5 B9 k1 n0 q c
或许还有：
$ g# [5 g& S2 A# e( B- ^( c序数宇宙V=ON
9 L) x& b: m3 n/ g" M! G良序宇宙V=WO
( Z- W6 Z0 N9 s良基宇宙V=WF7 m. n9 d, a7 l0 h
于是可能：( O/ u+ c* p( c' ~6 f( l. O
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43