可构造宇宙V=L：
8 x7 P8 L" _4 M, c* D定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得' w# a% P5 ]8 B4 l
x = {y∈X :φ[y,u,u,u,……]
4 m6 |. u5 k @5 i4 E. ~然后：
* n- D I; M' t$ jL=
$ J2 s# `6 \; _: K2 \0 kL=Def(L1)={}=1
) ]- b9 }6 {$ D$ f h, q) o5 sLn+1=Def(Ln)=n
5 j) f# \' e8 @Lω=∪＿k<ω Lω
9 l1 R, q' K1 S( v8 E2 YLλ=∪＿k<λ λ is a limit ordinal
5 H2 D3 j, h. J. l+ n9 S2 S是极限序数! Y0 Y. i9 k1 E4 R5 d' }
L=∪＿k Lk，k跑遍所有序数+ [+ B7 ^! D# {2 L9 K, Y
遗传序数可定义宇宙HODs：2 G3 ~2 h7 d- q. Y% L
5 {( u" I" ^" S1 @4 I
HOD=V
( I$ A0 d* @0 ~, L7 t
6 I( S- A9 s4 ]- _! u+ [ j- MHOD=HOD^& Z- R$ r8 U2 v! H h
1 k& O8 p( y4 X
HOD^ω=∩＿n<ω HOD& V' x* |9 {* y6 u5 V6 W! n
! B0 }3 R9 z" _/ ^7 f
H=V
2 m' z. ?/ M# b, q: k: k8 ]5 P* m9 G) S* u
H^α+1=HOD^' e4 V: T; X, v8 ^! F8 s
$ m* [3 x) s0 w
HOD^η=∩α<η HOD^α- n0 r3 u3 Z8 C2 v, d
2 o% ?0 h! S- |8 {7 |对所有HODs的脱殊扩张! |! \, u- H) m0 {
5 q/ k5 j2 x. e* vgHOD=∩HOD^V[G]
* g" Z! _2 e/ o' Q5 c" d0 }: ~6 V, `或许还有：
8 H& l9 @9 Q' G# Q' S5 u序数宇宙V=ON& p0 q3 z# E/ Q3 t, O+ O+ v
良序宇宙V=WO1 t3 B+ q# W! L7 A3 x) n% E' H# d2 g
良基宇宙V=WF
1 j8 X9 K9 @* x$ s于是可能：3 S: M* Y- s' U& n* r6 Z3 r, P* {
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43