可构造宇宙V=L：
1 a$ v1 Z' _( e3 ?定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
+ z y, [7 L7 O1 Px = {y∈X :φ[y,u,u,u,……]4 `. ~5 ?8 c+ {, Z+ f* i; s q
然后：
6 E8 K+ r1 c: j5 D T9 o5 uL= d; k/ J* s5 F/ E' [; _
L=Def(L1)={}=1. h# h# [ p2 B3 F2 Q- K$ m
Ln+1=Def(Ln)=n
" d$ }3 L* i8 y/ PLω=∪＿k<ω Lω. ^( Y, t/ Z$ {) m, l
Lλ=∪＿k<λ λ is a limit ordinal2 Q x# i3 E% E0 K
是极限序数# Y7 i9 w6 H; C9 o" M; B* \
L=∪＿k Lk，k跑遍所有序数0 ?6 V' b1 G5 L& g/ `
遗传序数可定义宇宙HODs：
7 `; ~5 |; P+ B) l2 n* Y; j1 ~) h
HOD=V
" o$ g! @& g2 q8 l; d$ y" Z
4 q9 @: q7 c* {% ]7 E$ `" \. AHOD=HOD^
2 Z( d* m4 p0 v! m
, I0 Y4 s6 m2 N9 _9 ?: eHOD^ω=∩＿n<ω HOD
( l4 _# N6 Z/ r! `1 X) I2 D6 [) W h
H=V
6 G5 x, g* [8 D. f+ R( q8 k5 ~' T
" H; e! K# I* K, g' cH^α+1=HOD^
+ l9 w4 O% j$ `5 t& w& |5 P, s5 b+ [& G
HOD^η=∩α<η HOD^α) \% B6 W3 L* J$ R
+ K: B& {3 Q! s% t对所有HODs的脱殊扩张
5 o9 Q) |& q, f, c$ Z: L# f
! n& {( p# k/ u! j( L$ hgHOD=∩HOD^V[G]- b, W w- ?- j/ a/ d: E2 a1 Z
或许还有：8 z2 R" B: }. T1 L: G( K$ g2 y
序数宇宙V=ON0 H6 k6 J2 l7 S( Q
良序宇宙V=WO+ u2 s" g/ Y5 _
良基宇宙V=WF: m/ P9 `& c P& ~3 Z
于是可能：$ E9 f3 }2 A. w, Z
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43