可构造宇宙V=L：
7 m! @, F) Y/ |4 W ?定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
/ }5 l) E- z4 D9 A4 ]; w1 G @x = {y∈X :φ[y,u,u,u,……]! ?' U: W; k7 o9 x4 i2 @+ h7 P
然后：
3 X" ^2 l; r/ f z. I r- w7 b9 NL=
& }$ P) g; Y+ U9 `5 `L=Def(L1)={}=1
; H* _5 v; J+ }; }! \! YLn+1=Def(Ln)=n
: O3 _$ o- ~9 v" @4 P2 g' _. v& lLω=∪＿k<ω Lω8 Z# }3 \" d; O8 I4 R& Q* U
Lλ=∪＿k<λ λ is a limit ordinal h( M, {9 V; K" c) _
是极限序数/ O U. e8 `2 ?/ k: m1 r
L=∪＿k Lk，k跑遍所有序数# `$ y! l" O& ?0 y$ L4 {5 ~ Q
遗传序数可定义宇宙HODs：0 O; _: {1 U/ B7 P6 k, u# v
/ q5 ?, T; d# ?: J& `5 w+ m) d
HOD=V
9 z) X. w$ } c1 a" Z$ N' e0 x5 L+ S% G5 ~ w$ _
HOD=HOD^
( h# l4 ~0 ~2 Z5 J# R6 ]! |
( S/ T' A- |. R2 |HOD^ω=∩＿n<ω HOD; P6 X/ ~# v: L2 u# D+ y2 w
1 a" ^4 s, t2 ~( P+ ?6 X
H=V) [& A2 E; I0 {9 t0 O3 h
+ F0 Y8 ~+ |9 Q$ Z1 ^1 M3 x1 yH^α+1=HOD^9 z0 Y6 a) A. y) Y! y/ u1 V$ q
6 N* H3 C& V0 RHOD^η=∩α<η HOD^α7 S: V% k+ H: o X
4 x" W! g8 Y0 x- R; J s) n3 ]
对所有HODs的脱殊扩张2 l3 C- H* I4 h& G; h9 R) M
0 x! ]$ O- d) g. Z5 \" v/ |0 K' BgHOD=∩HOD^V[G]
9 R) r0 H* s G) j& N或许还有：
3 x# X0 ]% D( s7 H Y序数宇宙V=ON
r" W1 F. m2 F9 @5 A4 t. x- I良序宇宙V=WO- {) z; r( C+ P$ O- M
良基宇宙V=WF0 d }3 ~# A# X) E" f0 s: b& e
于是可能：4 r. h0 @; |( b
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43