可构造宇宙V=L：& c$ l$ m0 G q y8 a. }3 k
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
. o A0 B+ t/ J# _: a% qx = {y∈X :φ[y,u,u,u,……]
% i2 [3 I$ W/ Y: W然后：$ J( ]0 K& }: X6 W6 R
L=
4 f ~8 _9 G! _" z0 I- wL=Def(L1)={}=1+ ]# C1 r8 l f9 @2 J; Z
Ln+1=Def(Ln)=n
4 ?; Q2 Z- J4 P/ z( V7 pLω=∪＿k<ω Lω8 f- Z3 {# ^6 s; H4 P& y' X8 L* _) g
Lλ=∪＿k<λ λ is a limit ordinal' a6 a+ H" F$ F0 m
是极限序数
+ I% }7 S5 w. p% a5 S- G" h6 ?+ `8 zL=∪＿k Lk，k跑遍所有序数
9 e1 k5 H+ z6 i9 n4 M5 a遗传序数可定义宇宙HODs：" ]# x* W' e w3 G1 l
% w+ n0 b: P+ @( B9 d7 QHOD=V+ b1 U+ x l/ @- N4 x
$ U- z' U* B- e
HOD=HOD^: X, I. s: C, I( X/ x* W; A$ z+ K @
6 I: r. }! ?6 X& W* @HOD^ω=∩＿n<ω HOD
: v \* a+ c3 X# z$ B* o R, b) q' L X+ k; _$ Y
H=V7 [. Y! R. M j, o+ L
7 s6 ]% {$ P. a I3 |1 y& p7 h
H^α+1=HOD^
; z3 k4 `; i$ z, S9 O
7 t. }1 D7 {" M9 m' N& t/ W: k, b* sHOD^η=∩α<η HOD^α% T6 _6 s- D. Q2 ]3 u. l f4 j1 s6 B" D
6 H% j8 I2 N- F$ U对所有HODs的脱殊扩张
0 F' z" U; y4 k& O) i* J. U* S0 A6 |% c' ]$ U' i# \/ I/ P5 e
gHOD=∩HOD^V[G]' I5 S- I: y5 Z: _, o
或许还有：! P+ T3 [# V7 W6 `
序数宇宙V=ON
3 k+ z& ~& ~( T i良序宇宙V=WO9 p) R0 {: \. O* o* E. L
良基宇宙V=WF
" Q V$ z1 S0 }- a8 O于是可能：& r3 U% ~" [. o3 c4 ~0 [
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43