可构造宇宙V=L：
/ d. f/ ?- u/ q7 L3 g定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得7 L3 k: m8 J( |4 }" G! c: r2 ]) R4 s
x = {y∈X :φ[y,u,u,u,……]
4 V7 `4 F# {& w- v! C然后：% }, l8 J/ \2 w4 g4 [$ c
L=
/ p$ t; V8 A* ~) S. GL=Def(L1)={}=17 Q. h( B5 C4 {+ h3 {
Ln+1=Def(Ln)=n
5 b& J2 {( D* A. e0 CLω=∪＿k<ω Lω
& f( y: V$ f0 t1 R9 yLλ=∪＿k<λ λ is a limit ordinal _, L# O& m0 e) E+ y0 N/ h
是极限序数
) \* K6 a9 \( s. x# p: g$ |6 ]' TL=∪＿k Lk，k跑遍所有序数/ R" v5 K ^7 I
遗传序数可定义宇宙HODs：
- P1 `7 Y% y/ c
" v5 N0 J% o# ?2 y: S6 pHOD=V
. d- R; T3 t: V) w7 j0 m! X" U8 p
HOD=HOD^2 M1 P5 ]' g* X9 |8 w# z* W
8 b. L& _& V0 N/ K0 _2 A; B( m# e/ hHOD^ω=∩＿n<ω HOD
; }1 v) V8 c! z8 ?. k
`; c5 D' U9 T8 z9 H$ M; Y& LH=V
3 t" b& Z! @& F" N, c- v0 V2 ~8 o2 C C# n; s% i' s: s( R6 N2 N
H^α+1=HOD^
; ^- P: }! Q$ V5 ^1 ?4 x
" _! W% T" Z- |3 ?4 Q5 p3 tHOD^η=∩α<η HOD^α: M% O4 a2 `5 A' a9 `
% u$ `" f0 V7 r" b# y7 U对所有HODs的脱殊扩张
# h& r% P: J2 m5 s
% i' d* B) |8 SgHOD=∩HOD^V[G]
! C* e" m/ _3 [( O9 B0 [$ a; O+ }或许还有：
, _) p/ s7 y/ j1 \! A序数宇宙V=ON( a* T( |) @, o; P! S% \
良序宇宙V=WO
9 v# F* ~7 i" S9 D2 N良基宇宙V=WF
; o$ P* {5 G# n: z6 E Q$ A5 ]于是可能：
9 t; l3 O) a" f lV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43