可构造宇宙V=L：
- x+ W0 [: ^% Y' f$ l9 m# a定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得2 H& d! G; p# ^$ x4 T* m5 a; c0 {
x = {y∈X :φ[y,u,u,u,……]
0 v. c4 j& j& _2 Q然后：" M+ s" `' q/ b' C
L=8 w9 H4 e5 ?5 n+ U& G
L=Def(L1)={}=16 w5 }9 Y: V- r0 \
Ln+1=Def(Ln)=n( p* \* |8 q: ?( w
Lω=∪＿k<ω Lω
2 g; y, y' u7 |( {% rLλ=∪＿k<λ λ is a limit ordinal
6 m6 j5 f- _$ n& Y9 j4 s# N是极限序数
1 Z/ N: Z& M/ hL=∪＿k Lk，k跑遍所有序数4 s! Y$ J/ I8 i9 X+ Z% {* N6 V
遗传序数可定义宇宙HODs：
3 A& h3 o c5 F9 w4 h' @1 V1 j5 v% F) M
HOD=V
% I+ _0 N5 i n7 Y) H W( _. y: I; h8 w2 U. L& i0 ^
HOD=HOD^% a" A1 K5 j8 d
& z! e; |; x% S" L" }
HOD^ω=∩＿n<ω HOD
& X( d! K% X' |9 ^' J% _. o" o" |# O" X7 G& X$ g6 C% k+ t. Y* r# \# p
H=V
( K& q. V( L6 M$ [, k2 i
, C2 W0 H% P; K% M) ~+ gH^α+1=HOD^* x" L- a- P; [5 R& u9 D2 j1 E I
/ g1 b3 k0 u" G& [5 UHOD^η=∩α<η HOD^α
, `1 r' N# v; l" ]
1 o. g$ R# o* U% X对所有HODs的脱殊扩张7 @" R6 I x, E* `! d7 w
. t- N* R4 u" ?gHOD=∩HOD^V[G]
# L, Z2 w" M: T( }5 l或许还有：8 ]/ S' K7 w$ A5 I( ?
序数宇宙V=ON
7 D3 }1 ~* F, T* i3 ]% V良序宇宙V=WO
2 }: w% [/ z+ A' Z. \良基宇宙V=WF
8 Q p5 j# I6 @5 N7 B5 B/ V% c于是可能：' M0 w* h9 V% ~8 Q) H* ^5 _ {
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43