可构造宇宙V=L：, S4 H: l' C8 K3 b1 ~
定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
# w) D4 ~/ X1 |$ V+ i/ Ex = {y∈X :φ[y,u,u,u,……]; s3 i$ R$ h9 E
然后：- K' D) L7 x# N
L=
) J2 ~; m+ N4 A/ g3 T \2 V: hL=Def(L1)={}=1+ j# V/ B' @& c1 ]2 v' y
Ln+1=Def(Ln)=n
9 r6 z% ]# `5 c* z+ pLω=∪＿k<ω Lω( e+ b6 I1 b+ q2 v; S
Lλ=∪＿k<λ λ is a limit ordinal
/ T" C+ C! S8 V; U/ _1 h6 V! l是极限序数
3 r% O4 ?0 c9 U' a- V5 q3 Q0 hL=∪＿k Lk，k跑遍所有序数$ @3 B5 @. B3 }4 {
遗传序数可定义宇宙HODs：+ y( h9 u' F1 d4 l7 H
) r, Z2 H9 J: o" R9 K
HOD=V
7 n) Z& B/ L/ B" w0 g8 O& I& \" A, V5 i/ x7 [, c
HOD=HOD^
a% J, G* I3 V4 _7 O- w, v
4 f7 G# m, D9 j4 O" I% rHOD^ω=∩＿n<ω HOD* s- F p; ?: O+ G0 {$ p$ G
& u. X$ s& i) C, v6 L
H=V
3 H, W* V7 i6 L( Z, u/ [
; k1 y( _5 ^, C- h4 t9 ~" _( u5 VH^α+1=HOD^
. _, O6 Z& a+ m' C/ E: R$ A( H2 z
% O0 i0 a M: b8 R1 w qHOD^η=∩α<η HOD^α$ z: M, N0 t1 G
6 @9 P9 r- s9 U ?" A [对所有HODs的脱殊扩张
! \" N: v, m! g, K: u, L: y
! @' r" D7 v5 |' JgHOD=∩HOD^V[G]( d( {3 L$ N" q" C7 k- l
或许还有：
% }9 A4 [. D' X' O4 _$ u# Z序数宇宙V=ON
& T* \' T6 f2 A6 N- L9 l% m良序宇宙V=WO4 ?7 ]+ w$ n5 m& J9 d& U. [2 H
良基宇宙V=WF
: T0 C/ i; j% r U' b- s, o! _2 [于是可能：
9 r2 Y2 b! H3 \& y4 ~1 L. o6 zV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43