可构造宇宙V=L：
0 a% h( C, Y& m: J1 l定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
( u$ g$ W# x3 P9 m# B" q: Jx = {y∈X :φ[y,u,u,u,……]
! H% E1 g2 e) D) r* }, w然后：6 O: ^+ q, n v+ @" X, ^2 w
L=
* W7 j" n' n5 KL=Def(L1)={}=1
" S' n1 e G3 i, vLn+1=Def(Ln)=n
9 g% G2 U# b; bLω=∪＿k<ω Lω0 ?7 X/ r+ Z$ ]# u0 I ?. C8 B
Lλ=∪＿k<λ λ is a limit ordinal
6 j+ g) B6 t' k+ Z% O: ?: ?4 _- p: n是极限序数* K" S l0 s ~' ~' ~
L=∪＿k Lk，k跑遍所有序数7 J7 Y7 W _' l# q8 I
遗传序数可定义宇宙HODs：/ d) Q% I8 t, m& k+ C1 _1 ?
% t. o% m5 T! R. @% b( p
HOD=V
- C9 Z0 l, v% {; K7 Z
; U$ S( }4 y8 cHOD=HOD^2 ^7 Q% t+ v+ Q$ Y$ J* I
; |1 h) `) [1 Y+ T, r5 d5 S8 u, V( Y
HOD^ω=∩＿n<ω HOD
& P. D, P: U) q
2 A% m3 W. ]$ TH=V
$ w' h* W/ V) y
3 A7 l: F, `0 I, `" y* `& j8 K6 oH^α+1=HOD^/ I* x7 ], e3 |& G
I2 j5 Q3 `( g& o
HOD^η=∩α<η HOD^α( Y4 M. D& \* k" s' b
8 U* ~1 r2 g# _$ t5 A& C" d
对所有HODs的脱殊扩张, k+ ?" _6 c2 |7 M' _. s# p" Q4 v! v
, g' {2 H( Z* G- c1 J f
gHOD=∩HOD^V[G]( ^* a2 f O# k0 p4 ]
或许还有：
, ?: @, C/ F, N序数宇宙V=ON
- y9 k# p, G' Z; `- D2 S& s r良序宇宙V=WO
8 a6 q5 R% F9 b9 A; k) M良基宇宙V=WF! _2 s+ ~' n0 _8 U X. Y( b
于是可能：
4 [9 Q+ e, y# d$ OV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43