可构造宇宙V=L：
( F" d, ?$ Q% v, c7 X U8 G定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
( F) I4 P8 E! w. cx = {y∈X :φ[y,u,u,u,……]
; U% N" S. u# ~# r然后：
' J& N3 |2 ^$ L% _# S$ w% qL=1 @' @9 h% N& l* e! m2 C$ t9 L
L=Def(L1)={}=1
( q2 b5 t$ r" }! N$ i4 ~Ln+1=Def(Ln)=n
: P$ M) X" |. B2 F2 p! W- HLω=∪＿k<ω Lω. _) K5 b7 D4 p9 O3 A- t( s- D. x
Lλ=∪＿k<λ λ is a limit ordinal
. v3 w( k, ~8 l$ | F2 r. g! B是极限序数
, j; ?) g5 P" C5 K5 Z# P1 ~L=∪＿k Lk，k跑遍所有序数" F1 h; J3 p; \: x. X- p/ @
遗传序数可定义宇宙HODs：
1 |* E' J* u+ l9 n" U
7 O0 W7 J6 F0 m+ T0 m( O, }HOD=V; j, a5 ^! B! l
. @% \4 e8 |2 u) \HOD=HOD^# I4 |1 a" n; s% j9 l0 x0 H
n! y& f6 j7 L' E, t5 e
HOD^ω=∩＿n<ω HOD
2 t; T H: c9 v1 H6 q. r
& K6 M* H s/ k+ X( DH=V
p# |9 E$ k/ L$ J9 f
9 G% P) I W, ?4 ]9 Q) VH^α+1=HOD^& `2 s- z7 B! d$ e8 S6 Z
* b. H3 r9 c: GHOD^η=∩α<η HOD^α
3 l) Z) v6 b$ |$ a
! G* E8 v! Z5 Q* z% E对所有HODs的脱殊扩张. w( y; C) \4 M& ]: q) I
! _* g. ?' V( o3 n2 o, cgHOD=∩HOD^V[G]7 ^1 F* H) S* _: u9 Q1 I4 H9 m
或许还有：* ], M* Q, U6 i
序数宇宙V=ON
q; I" Y" g [& k8 F5 m3 U良序宇宙V=WO/ ?% ?1 y3 S, W9 X4 C' p- ?
良基宇宙V=WF/ _- J* @; X+ I. |
于是可能：
4 \& k% R& I+ WV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43