可构造宇宙V=L：
, t) R" x3 ^) ?! Z0 Q% K+ O定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
8 {. V9 {7 i6 h# q5 W* {x = {y∈X :φ[y,u,u,u,……]2 U# M7 f3 ?* c/ d: s
然后：
4 ~8 s$ \) w1 i+ WL=
5 `0 e% |6 j' P& v* e4 |1 TL=Def(L1)={}=15 |$ q5 e; [" K# |0 {5 W
Ln+1=Def(Ln)=n
3 ^3 Y& v! P; L- }0 o" m. \Lω=∪＿k<ω Lω
+ V2 w l6 M8 d/ ?3 w( r& X' S) [* k( T9 c( ILλ=∪＿k<λ λ is a limit ordinal
7 g9 d# ]; Q$ W6 r0 g是极限序数3 |8 V* x! c: L7 L7 q! @, V% @
L=∪＿k Lk，k跑遍所有序数
4 S) w+ Y9 w" a遗传序数可定义宇宙HODs：$ j. w w5 D$ @# C
( K! w( I1 z+ {2 H/ ~ OHOD=V2 Q! j$ R0 O3 c6 }7 Q
1 A, x4 M" x8 Q* T: [+ |HOD=HOD^
, B* c8 b4 B' V! e
# `/ D3 H$ [# C" tHOD^ω=∩＿n<ω HOD
/ \, ^9 }9 _4 @3 h4 O; p
1 {& R. f+ q5 s, j# ~+ I) V$ pH=V
. |& W5 C" ]$ H2 [; L8 h K* s! Y0 q4 u3 \% b& Z: z) f
H^α+1=HOD^0 n: f3 u4 q ?* z
" Q) {& I# ?- n. @: k& WHOD^η=∩α<η HOD^α
( b# J$ Q) H: e. n2 x# c1 N+ m- B! N9 P
对所有HODs的脱殊扩张
3 R! P/ W" H$ L) @
3 d# b1 r. c) h$ k* tgHOD=∩HOD^V[G]
5 y9 s p& R1 E- w0 M3 h0 P T' e- l或许还有：- v1 \ M* o, w1 r
序数宇宙V=ON
3 Y3 w6 a+ {: k; y良序宇宙V=WO: i0 g4 ? {+ Q0 t6 B
良基宇宙V=WF
/ Z1 n4 Q Z: b% I2 s5 W- h2 m于是可能：" r% I' R* n2 E% O2 G( |# \
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43