可构造宇宙V=L：
) L% S% O% S5 T# |定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得: ]3 I9 s3 t4 f2 f# n+ ]
x = {y∈X :φ[y,u,u,u,……]
& S" U$ E% u9 G2 _6 C1 t' r然后： `4 Y0 X. B' W( f4 Q/ @* Y- `
L=
9 G" I8 ^" O0 a. v$ l% t4 vL=Def(L1)={}=13 f0 F2 K: F9 d; ~' Q* G/ w
Ln+1=Def(Ln)=n. j# R8 h9 P9 p! U% g) @
Lω=∪＿k<ω Lω/ B" a7 a$ E$ |* T+ R. E. x
Lλ=∪＿k<λ λ is a limit ordinal
) Y' y, w4 e# G8 ^9 D1 @/ r" L是极限序数4 d. s k3 j# M
L=∪＿k Lk，k跑遍所有序数
{' F3 |7 ?6 ?" G w9 Q4 O6 V" {遗传序数可定义宇宙HODs：
9 w- q0 z( C6 N2 _& u6 V" G1 M) t& I
9 b6 |! l: v# i$ _& l- F8 aHOD=V
# x; @7 N3 i! u7 @% K' V; I8 l; v2 }, P! K8 R) d1 G
HOD=HOD^
* p9 m7 U8 U: @3 C- f0 ~# O) Y1 z( |1 S9 d( \- z @
HOD^ω=∩＿n<ω HOD
( T" \ r, w: `- l2 A. D, b* |3 |) k# v9 L
H=V* h& N* b8 v7 i+ m" [& w
# D% U, [' `* j) u- Z0 nH^α+1=HOD^
o, K5 c* g, Y' F1 ` L% d; ?( {3 D: x1 ^+ A$ w
HOD^η=∩α<η HOD^α
) A; ?8 i: k. |" c2 M* j
" d$ ^" [( p9 G5 P$ U对所有HODs的脱殊扩张3 u+ {9 G% J/ [" l. Q, R
; ]; y- m7 _, U8 K& p8 Y
gHOD=∩HOD^V[G]
+ b, F9 F) `* ]+ E. l) E7 d4 I" `或许还有：
* A+ u( J! F/ J9 p; ]* O$ t- ^/ U序数宇宙V=ON
' u& W$ L m7 D6 n9 P& X良序宇宙V=WO- ~% a9 m1 ~7 n3 J6 i
良基宇宙V=WF
, @0 S( i* A$ K8 y于是可能：
6 {0 y- n* N' b" VV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43