可构造宇宙V=L：/ k- x/ g' i% E: Q
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得; L* H$ j! u5 Q* J! @2 e
x = {y∈X :φ[y,u,u,u,……]
3 b. Q& v9 m& O0 I然后：
% b0 ^) P: U. t( jL=
" R6 H6 d4 R, E- K$ A& rL=Def(L1)={}=1# K3 Q5 f ~6 }! A3 e: \
Ln+1=Def(Ln)=n' S- z F. {% P. I
Lω=∪＿k<ω Lω" U {0 d6 l) r! R. U e- p
Lλ=∪＿k<λ λ is a limit ordinal
6 w4 P$ R7 l! L. N是极限序数8 U; F5 r5 q$ `9 h' r5 f
L=∪＿k Lk，k跑遍所有序数
$ I' o4 l6 g% ]0 k5 ~9 o: [遗传序数可定义宇宙HODs：! Z$ f+ C; Y+ a
; j1 W' D0 y1 N& e
HOD=V3 G0 V* U* u" ~+ U. ]
) b' a# O( b8 ~; n+ F
HOD=HOD^
/ X k; r" W9 S' i* a" S" o7 u. ?
HOD^ω=∩＿n<ω HOD0 t" ~2 {# e1 V2 A* z8 b; `" j" B6 H: u/ b
% H2 }- W8 R: D: [4 a; [
H=V
q \; h; u# q, L
- w+ V+ z2 N' Y8 N0 bH^α+1=HOD^7 Q# G% w+ |/ i! M9 l" l2 U9 }7 d5 L
, E% b5 ~+ l4 k" Z
HOD^η=∩α<η HOD^α
o' Z$ b, v* a% T* P7 c: R
* |; c- h: Q( ^9 M* y- S+ {5 B' J对所有HODs的脱殊扩张5 N" R( p6 W; A4 C% Y, {! t4 L
# T) s2 I7 j2 l; HgHOD=∩HOD^V[G]4 b7 U7 D+ S# n1 I6 x! R# y
或许还有：
( m- o6 v% ~6 D; r% ?) ^; k7 ~序数宇宙V=ON
+ F. m% ~# w0 x- J, a- ?良序宇宙V=WO
5 r: _0 [2 }! W' Y: M良基宇宙V=WF8 D- D2 a9 b7 W
于是可能：
9 n( |, E& A6 v: o1 f, A/ VV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43