可构造宇宙V=L：
* u" @9 P5 K& P" a定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得4 P, d3 v. e3 P/ z) s) f
x = {y∈X :φ[y,u,u,u,……]
2 [2 \! F' j p然后：
4 i% [4 A6 Z5 g3 l) gL=
! a8 L6 l) p3 s s/ R0 u/ c( H2 ~L=Def(L1)={}=1
7 x* @0 p5 i5 F, `! R: aLn+1=Def(Ln)=n0 X% p; S+ j- z0 i9 E
Lω=∪＿k<ω Lω/ I8 J R8 S4 b- ~" x5 r
Lλ=∪＿k<λ λ is a limit ordinal0 ?# ^0 {% [4 \. r; o
是极限序数
?4 f8 J4 x9 m R) DL=∪＿k Lk，k跑遍所有序数6 H- m0 Z( Z [6 V' o0 a9 P! ~
遗传序数可定义宇宙HODs：! X! r1 [4 n/ k8 }7 w7 D( b
/ A p( o0 S' n
HOD=V. u5 [, o/ }9 u' R
- w9 s& _4 p( j+ T% b2 k0 XHOD=HOD^; l. h! J# r' ]3 @' `+ |# @
* U k& r3 T" dHOD^ω=∩＿n<ω HOD
" B! T) }4 ]: ~+ u7 R; [) T5 I9 K/ u5 Z1 s& N' \. y
H=V' c5 k( _7 W1 L3 y. }
3 h* L- R, M" l( v3 ~/ s$ q
H^α+1=HOD^
. c$ q& M5 h y, w* u' h) I& X! y- d, `7 O
HOD^η=∩α<η HOD^α
: x# \$ x1 M% B3 U5 T
( z; t. K+ n8 h6 Z! j对所有HODs的脱殊扩张: ?4 i) ]3 y; ]6 h$ e1 [
* m3 `5 ~" w( s9 h
gHOD=∩HOD^V[G]
$ p1 q0 w2 N* [3 R6 ]或许还有：
9 s, e5 F4 C% r6 O5 x* o序数宇宙V=ON) f3 r# Z4 p( p+ m6 {, g6 `: v1 ]
良序宇宙V=WO0 [0 E8 D* G; E* W+ F& L
良基宇宙V=WF
8 ^% V+ M1 V# T2 h f) v3 F5 a. x于是可能：
2 v( [. k7 M' \- c+ OV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43