可构造宇宙V=L：: D" o4 I% L* e; Y( T/ {, b& a
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
+ e& y! r# _/ m4 E2 K4 _x = {y∈X :φ[y,u,u,u,……]) N: _7 @. E- K
然后：
+ u# \& N' f' m$ qL=3 a; i) S4 w# K) `' y
L=Def(L1)={}=12 U q2 X1 j3 S
Ln+1=Def(Ln)=n
8 q& P0 q! f, s1 E z/ L2 k3 w3 ~Lω=∪＿k<ω Lω
; S- J) x* G! @$ ^- p# ]8 C1 E$ d, ?+ m8 ZLλ=∪＿k<λ λ is a limit ordinal
& O. [( { g( i5 Y. q& Q, p5 ~是极限序数& s% ^8 \& l: q0 {
L=∪＿k Lk，k跑遍所有序数
7 a6 r4 O c1 V遗传序数可定义宇宙HODs：
9 O! ]4 A3 ?6 a6 J" ?0 z
. z+ ]0 p' p3 K: Q5 nHOD=V
4 S1 S4 N4 M& |3 x& ~# o3 u3 _- z
, N; `, O; z2 n1 v# MHOD=HOD^
: t$ J5 A% W/ O( _) E2 Z" B' Q8 | d) m& o
HOD^ω=∩＿n<ω HOD
7 a$ G6 g. s$ n1 F! \5 J9 K. R+ ~+ v# o6 X! P
H=V
- U% b2 c3 G/ H& N) s- z4 [* z( t# d, @; [/ v' u% S* O1 Q
H^α+1=HOD^! T+ D) I3 }6 p. D( b! X& B
4 b3 o- M" T( x) y: Z( hHOD^η=∩α<η HOD^α2 @+ I# z" v* _ t( p T
3 a. Z/ i# M3 i5 ?- n! ~. I) M' @) D
对所有HODs的脱殊扩张
2 b2 P0 z V& H1 F' ~8 G8 V& O( s2 x8 E; m
gHOD=∩HOD^V[G]; m# |9 ^+ G' [4 W2 |
或许还有：6 M! E" [4 u0 v% v) D- z4 g! ^3 p
序数宇宙V=ON# i. S6 P' r* W( F; u, g
良序宇宙V=WO
# N. C1 ^# {- D2 ~( `5 U; T9 y4 [良基宇宙V=WF( G6 w- y0 ]% r- c5 g9 l
于是可能：
' g$ d/ I2 {2 o+ C# bV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43