可构造宇宙V=L：
7 `9 F: _( T2 y ^8 Y定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
/ |# G0 B, R; ]- M: kx = {y∈X :φ[y,u,u,u,……]+ L( N( v' L! v4 ]' J& q6 C F) e; |
然后：* O0 g& Y: O: f6 ^" z7 p S) ?
L=
1 x& C6 b* \- l, @; rL=Def(L1)={}=1/ e s3 R$ x: Q( r8 `3 N
Ln+1=Def(Ln)=n7 j* [+ L- X$ A$ Y' g+ ^( w
Lω=∪＿k<ω Lω% o3 C5 T' z4 _3 O- W2 v) A
Lλ=∪＿k<λ λ is a limit ordinal
8 i5 {5 d4 t" y7 H( y3 U是极限序数- \+ V t: p& m
L=∪＿k Lk，k跑遍所有序数
5 t+ k2 ~( G' C' t9 G; e2 B1 e' `遗传序数可定义宇宙HODs：) |2 u* ^0 I5 h4 Y& r' J% w+ ?
0 d+ v2 Y, T* u/ l
HOD=V( x7 u! l/ s7 z, w& d- h- E
" }. {. c9 w) k# X* KHOD=HOD^6 M. [% q: I2 m, o2 k8 i6 c) I; c
) v* n, ` w$ v! v/ U) s& I+ G) CHOD^ω=∩＿n<ω HOD& Z* u% R: G5 D( Z( K
7 j3 t, e) {( [3 m) t+ @5 ~
H=V. B( P2 n* t/ I' B; b6 |4 Z
( p# ?, R. L4 T+ t9 h% N
H^α+1=HOD^
4 T, M5 W7 }) E5 w$ z: @2 j1 G" s* }
HOD^η=∩α<η HOD^α: V5 M ?+ D, `# k/ H& `5 B
8 f e* y' P: |% w& v对所有HODs的脱殊扩张, { p5 c: N2 h( `3 W
' @2 w; q* C1 r/ X3 s& O+ V7 U/ zgHOD=∩HOD^V[G], W) J) ~2 ]/ n
或许还有：
6 _) O% b) Y7 n. O0 o序数宇宙V=ON
9 W% H5 e' o, U4 ~良序宇宙V=WO
3 j* @; o0 X0 x, q2 v/ I良基宇宙V=WF* F& F% y7 K1 X3 p. F" T! G0 p
于是可能：
2 j ^# g. S6 W |" P1 v. [0 t2 ^V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43