可构造宇宙V=L：
) V) m c" o1 C7 u# T$ a定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得 a! d7 y4 R4 w* \- n$ f
x = {y∈X :φ[y,u,u,u,……]
+ A4 V! a# q# l. W& r4 D/ `' q然后：$ O0 p9 c* e) o3 l! ?$ A' l
L=
0 \" V: r* K7 L' GL=Def(L1)={}=13 C* y2 a2 x6 C8 x* u' ~8 ]+ F
Ln+1=Def(Ln)=n
; y( q2 v8 H- b# d( xLω=∪＿k<ω Lω9 w- \' @. Q( V1 u6 J' H
Lλ=∪＿k<λ λ is a limit ordinal
% D# N: t5 A( A- L' ?是极限序数& N+ I8 W: y* S, r! Z
L=∪＿k Lk，k跑遍所有序数
7 N9 |3 Y! n3 W* U( i3 ]+ z7 w遗传序数可定义宇宙HODs：
0 ?" I* v3 m$ c8 e9 z9 Z+ H" J* B* {: z
HOD=V. ]: Y4 ?0 E8 t* o- A
- d5 P* S7 x5 d) v' Y1 O
HOD=HOD^; ~- l S! x1 U1 ^- U( e% v
s/ Y7 m& m+ e2 v gHOD^ω=∩＿n<ω HOD( r' g/ p% x1 r- B
" V# y' e9 r/ q& P4 _# @
H=V. n- _8 \) D9 y0 F, c
" p" D4 S) S8 A& C$ |7 x3 ?
H^α+1=HOD^
/ s+ O( r7 B; h! o! K
* Z! C, T' h4 M% bHOD^η=∩α<η HOD^α0 X$ }- z- J7 o* \; @
! N; t2 J$ T# z% N! _+ a3 a; d对所有HODs的脱殊扩张, n& m4 q X/ d' x3 p
1 b( w8 O, K& x K
gHOD=∩HOD^V[G]+ ~5 d+ k( B7 t5 Q
或许还有：
0 ?: W! b; s# U序数宇宙V=ON) D/ }" g+ o1 Y- Q, S% b
良序宇宙V=WO
) x5 [ S" z: s良基宇宙V=WF
! Y/ {$ {* U, j: b2 L于是可能：
7 m* P5 l0 h' o7 `- \; ]; i9 ]V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43