可构造宇宙V=L：
" A3 O W- c E1 f. _定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得+ T) r8 B" O( q- d9 W* ~
x = {y∈X :φ[y,u,u,u,……]! ~! p/ R- c# o" Z6 w
然后：
( ]! t! I; x* A" o6 O/ q0 y% SL=2 d: Z A3 n7 s1 ~
L=Def(L1)={}=1
9 b' G8 ~9 M! c N* w HLn+1=Def(Ln)=n
$ K, [5 D6 i" L; K6 {8 nLω=∪＿k<ω Lω
. y. {( [6 T% Y$ G& ^* l& GLλ=∪＿k<λ λ is a limit ordinal# |1 c$ s9 y& s/ s6 I
是极限序数
4 k0 ~ x) y) H4 @L=∪＿k Lk，k跑遍所有序数$ t$ {2 H6 b& s( z* C/ |
遗传序数可定义宇宙HODs：& d8 Z9 z& B! ]2 v2 X
( v- G' @8 r2 u/ W9 QHOD=V
1 m! T9 }( a8 L7 O7 x: d' l8 S$ T; o9 d8 g& Z: B4 I5 M( ]1 f: l
HOD=HOD^! J ~3 w! @0 O3 M1 P! ~
7 p1 U! f# \ s: U
HOD^ω=∩＿n<ω HOD& q H- n5 e9 K$ @; ^
- M" Z& v: Y9 r$ ?H=V% K, Y1 P3 |4 u- z' w6 s
. U- V, \* y9 z1 c/ e2 K! A* {H^α+1=HOD^! f* d1 u! w3 L& }9 a3 U( p# Y3 L5 d
; `* \6 T8 x# P- r
HOD^η=∩α<η HOD^α1 X! J. n* k& h& x. X3 c
/ D1 m0 M3 K8 S3 A9 h. h5 u对所有HODs的脱殊扩张
, a: Y* H0 ~" K. M" l
& ~0 O3 l% A$ O* ?gHOD=∩HOD^V[G]
9 I) U( [0 ~* T1 y2 d4 r* k$ h或许还有：
5 r( M3 k$ G: X7 V序数宇宙V=ON4 H8 u: Q- W. j N8 ]1 c! I$ L. W
良序宇宙V=WO" X9 V2 S( u4 {& Q/ ?7 |+ X% v
良基宇宙V=WF4 b: F) e$ R2 p, l1 z
于是可能：. ], ?9 _5 r6 }# A, l/ G! o
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43