可构造宇宙V=L：
5 \3 X5 i0 S# P2 K: @# U, {定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得7 C5 \/ u, p- N! v! ]5 j
x = {y∈X :φ[y,u,u,u,……]
$ }0 a$ h8 F' Y$ w3 P3 l然后：, e2 |& t+ P) M2 D
L=6 H3 P' M( s" ]8 Y! ]
L=Def(L1)={}=1
2 ~5 o B4 F! A/ L3 ]Ln+1=Def(Ln)=n
6 O1 b% z/ l6 Y/ r& MLω=∪＿k<ω Lω
1 a, {: E# v# m( y# i! U4 _Lλ=∪＿k<λ λ is a limit ordinal
9 J) h* X% A% Y$ ]- j- |是极限序数( [, B( v6 g( P
L=∪＿k Lk，k跑遍所有序数
/ Z) {2 ]3 `: A% W+ f6 V; w遗传序数可定义宇宙HODs：
7 J0 C( S `8 } Y1 M; u
0 ~3 |" ]% H3 h* @: G# X3 kHOD=V2 k5 I/ ]9 K+ W0 ~( {
9 s8 d4 X" v( e( L& r4 t# K7 j
HOD=HOD^
, A/ ?; z- b' }, |
7 ?9 U3 e, j1 L. {( l+ X3 yHOD^ω=∩＿n<ω HOD$ l* U0 c( e5 a# M
& e8 P4 m/ E: u* O. ?H=V
( [$ f$ ^" n. {( ~" a5 G/ D1 G0 Z" D" p: S
H^α+1=HOD^' g) S i' u; j) t+ k( \7 J
8 X7 o- L8 }& e9 uHOD^η=∩α<η HOD^α
; Y7 A/ Q/ `, [! b6 L6 Q$ J
4 l0 ?5 J4 d8 z, I8 _: \) b对所有HODs的脱殊扩张/ j! X |- u+ S# _! i2 E% a
- i* e7 {% h$ X/ z& qgHOD=∩HOD^V[G]! y. i. R# l& \. E/ I' Y* [$ f
或许还有：( V. c* s- X+ p5 j
序数宇宙V=ON
# g# |. A9 p( O) u良序宇宙V=WO
S! e# d. L5 l/ N4 u良基宇宙V=WF
. o6 o2 Q j9 T! e于是可能：$ R: S9 ^# X6 T% Z# t. S
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43