可构造宇宙V=L：" |4 x, p! a2 B! Z. c* R
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得& _. l* r: r) t6 \4 h
x = {y∈X :φ[y,u,u,u,……]7 R+ ?4 o" e5 p5 m- T# @
然后：- E E) V$ j( G0 E6 m
L=; ], V5 z- J9 ^/ S
L=Def(L1)={}=1 W5 `, O" _) @' w
Ln+1=Def(Ln)=n
* @1 x5 }! m% ~1 X+ _4 R% y2 \Lω=∪＿k<ω Lω
) \9 S6 k: Q* P9 R$ g6 qLλ=∪＿k<λ λ is a limit ordinal
! r: W7 `' ]* }5 H) b' R$ Z是极限序数
8 x2 I& V# P7 H( |5 _L=∪＿k Lk，k跑遍所有序数
+ e- ]% e& L7 n( A U, N遗传序数可定义宇宙HODs：& @: R P- B* {1 ]
; t9 A+ H) U) L( D/ PHOD=V8 U1 v5 |* O$ \* `- Z& |
2 k9 S& V: J1 s' F" S7 W0 u9 f
HOD=HOD^
$ s7 h" F! Z4 H3 P* H& v! W# H3 S1 T+ L6 g# ^: Y5 W
HOD^ω=∩＿n<ω HOD) t% E `2 {6 C# f: f& j
* G3 n$ c3 j8 I: l9 Q2 X/ V
H=V
5 b7 `4 f i# [" P% n7 m
; E# g/ @5 v, ]3 e. s- |: \2 GH^α+1=HOD^' L! h4 |7 A7 Z/ T, `5 h3 R3 K+ A
( X9 |) i3 U" v+ [9 o8 L1 bHOD^η=∩α<η HOD^α
& I* L" A9 \* a# z5 B- N. i5 `' d5 l: Z1 A$ ^
对所有HODs的脱殊扩张" V: k& D" C5 H, k7 e
, _) ?+ u! p. _$ x% ~
gHOD=∩HOD^V[G]& T$ V& h& ~# ^8 }' V
或许还有：; y1 ^8 E% x1 @
序数宇宙V=ON
+ Z! m1 S9 t' C( z ^4 }2 P; Z6 O- |4 Q良序宇宙V=WO9 F( Z3 |' m% v# ]* v
良基宇宙V=WF+ q" p @. N, C* O
于是可能：
" v) W9 F+ i2 M6 {0 a" \1 N. \ \V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43