可构造宇宙V=L：
0 T. k `$ H5 ?5 `/ J i' F% R; ^定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得$ E, J5 b: P* ^, Q7 m4 Z; q6 x
x = {y∈X :φ[y,u,u,u,……]+ v. g/ M6 j6 C$ P) ?( V: ~4 D8 U
然后：7 K$ E) R6 s- |/ p0 H
L=
8 ^- s U Y/ q# Q9 L6 R" C% KL=Def(L1)={}=1
4 l+ P9 R* E. H9 @4 iLn+1=Def(Ln)=n
4 M" D2 s6 \% e* w1 ]7 D: m% L- ILω=∪＿k<ω Lω4 ]/ O R4 R* `! C5 Q2 u/ E8 {' g! u
Lλ=∪＿k<λ λ is a limit ordinal: E$ `. ^2 y& Z* Q) U
是极限序数 x" V& F$ x$ q1 O$ B
L=∪＿k Lk，k跑遍所有序数0 J! D! P+ L4 V i4 p' s
遗传序数可定义宇宙HODs：0 n6 B# o. O& u. m
* t7 r1 p2 ~# S% h: ^2 V& o* mHOD=V
* q/ m* I( n1 a% R7 h
; C5 X5 c3 G3 k* J+ S! p: H. ~HOD=HOD^/ b6 l! F f- D0 \) Y, a
' S: g! w% I N2 P* r. J$ VHOD^ω=∩＿n<ω HOD
6 D! t* J- |7 U$ Q* K/ F% C3 @2 [3 ~0 F+ f7 a0 `
H=V
. E$ H1 I& o0 L$ V% _/ N9 c3 V3 Z% x* a2 k
H^α+1=HOD^" E* l2 r0 g" |( x
7 v5 O; e' [6 t6 U* }8 p7 H
HOD^η=∩α<η HOD^α
* w1 s+ T; u6 [0 Q0 T9 }5 P6 _0 A( U5 S
对所有HODs的脱殊扩张
3 s$ d0 ]( m- y1 I- B& e" O8 @
# y. q- V5 V5 ~! E/ B0 u* {: a5 sgHOD=∩HOD^V[G]
" P$ B" e8 U% [5 w. _5 ^* Q7 g# \+ B或许还有：
7 L- C; O( p& s' @- ]序数宇宙V=ON" t, T+ i4 \) a& S: ^8 |
良序宇宙V=WO) x8 o" D, Z8 r' B: e
良基宇宙V=WF9 a( u4 H" i! I b( d- e* w
于是可能：
* f R9 F6 ^3 d; [& {* ?V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43