可构造宇宙V=L：
' ]/ V# G, s/ P# i6 U定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 U& h- s+ M+ R8 F7 O
x = {y∈X :φ[y,u,u,u,……]/ J& M* S! v& s& O7 N
然后：
0 B$ i Y( z3 \5 Y* O7 UL=9 [& @5 ^* @4 A9 c( s
L=Def(L1)={}=1
3 @2 D5 n' x" f" _- J" JLn+1=Def(Ln)=n* K Y+ |) W4 G( w _1 _7 ?: Q/ _
Lω=∪＿k<ω Lω5 A5 j1 M) R" [! T: y, L
Lλ=∪＿k<λ λ is a limit ordinal) l$ r, P9 S. X; K! e
是极限序数# V/ ~) i- f$ \9 b2 q1 c
L=∪＿k Lk，k跑遍所有序数
2 @5 |# h5 t' |( n! X+ L) U, P9 W/ |遗传序数可定义宇宙HODs：0 }' ~+ z9 r5 q5 h# N6 {
' E2 p! y5 V: Q- A, ?HOD=V
1 m3 W1 K$ ]3 o" o4 d
- E( T4 V2 W. L$ b! E$ p1 n- F) XHOD=HOD^
& G( W& W& f! \! ]$ w0 Q& `1 T5 [; q
HOD^ω=∩＿n<ω HOD" P- w5 G! P* M; i
5 T- Q1 t1 n1 a" O, tH=V
M3 t- ^8 F! w/ [1 Q" t$ W0 V$ n4 {5 A$ ^ q, C: Q0 M
H^α+1=HOD^' j0 o9 J! l$ {
6 Q3 {+ ?0 n4 Z _8 t" MHOD^η=∩α<η HOD^α! w1 k0 o2 ? @
% _0 \" r+ c; F/ d7 k' \对所有HODs的脱殊扩张% ]/ ~$ r6 L/ D% a0 t
* s! l3 @ Z* @% Y
gHOD=∩HOD^V[G]
0 s w# ]/ W" E6 O或许还有：( k( H7 J7 G/ Q& r# T( }
序数宇宙V=ON! L B: n X9 E
良序宇宙V=WO
2 I5 V' Z! J# y5 }5 j' M$ _& ]0 ?! c+ j良基宇宙V=WF$ |3 T6 r/ H& o3 e3 x+ `' b
于是可能：, @% @+ L/ A* z; R9 G; x J
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43