可构造宇宙V=L：( ]% ^) ?: K& C- g7 X
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得$ @% w$ M" ]: b
x = {y∈X :φ[y,u,u,u,……]
6 Q$ F0 \. l0 Y/ ?6 X& J) i* o" N然后：8 U' ~# u1 x0 Z, x a, C2 l
L=6 R2 f' |7 C% q* ^2 e+ \9 E
L=Def(L1)={}=1
) ?5 L! T( j0 R8 h8 Q4 Q6 s. YLn+1=Def(Ln)=n
2 }7 \5 G& B7 b$ n, LLω=∪＿k<ω Lω
& G8 X5 s. f! NLλ=∪＿k<λ λ is a limit ordinal
$ n" M- Z. d8 {0 v# [是极限序数
( P h0 h+ F; C9 u, j% q% \+ Y$ wL=∪＿k Lk，k跑遍所有序数- P- \# K+ y3 z- K; D2 e, f( U) `% ]
遗传序数可定义宇宙HODs：# K4 x7 S6 |7 M: v' A
# f1 j) a# q1 V( c$ K1 @4 ^ l2 Q. ]
HOD=V
) Q. _7 L6 x" p( {* J, s# v" P3 T, K2 c" K2 I( F, Y
HOD=HOD^' O& x7 ]$ D* ]+ {( A0 [
$ F6 @; J! I* X$ p7 hHOD^ω=∩＿n<ω HOD8 N" u- t% B4 |' G4 D
' u; q# V1 u5 [+ \, R4 ~& ~
H=V; N9 K: Q6 {! Q' M
9 X' [; H( F3 M& t% _) d. sH^α+1=HOD^
* h% W6 O3 g3 c+ ^1 j6 _5 M3 T9 ]! V# e7 p& p9 \) Y n
HOD^η=∩α<η HOD^α
0 S) O9 S, z% G9 D( W E8 x
% Q2 d* E% m& G. |8 L) a. D6 J) E对所有HODs的脱殊扩张
- X7 y! n x# _# _6 ~8 Z' D& S- m+ S) p5 y4 O* g9 c7 ^
gHOD=∩HOD^V[G]$ N' D) ?9 q8 e7 [8 X
或许还有：2 g& i' Y6 u3 q1 h
序数宇宙V=ON
; U0 w$ F2 s; ]" P0 [1 Y- }良序宇宙V=WO& R4 I3 H& Z. {6 o" H: Q5 f
良基宇宙V=WF
1 |+ Y1 C9 \7 H. z% {, k8 b F7 \$ `于是可能：
( o- l. B! g/ N, `9 v+ E7 h! g2 SV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43