可构造宇宙V=L：
6 i% z5 l2 S# K2 D定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得7 P! @9 L1 ^- d4 T0 B* n3 h
x = {y∈X :φ[y,u,u,u,……]
5 ]' q* x8 X9 s) a; c" ]: ? {然后：
) w/ o' w r gL=, g4 [4 c$ r) l+ e/ k. C! v
L=Def(L1)={}=1$ j/ J9 A9 X5 P' F
Ln+1=Def(Ln)=n0 q7 o$ m6 o1 i, N+ t
Lω=∪＿k<ω Lω- \; B8 W1 D) h" k. Q5 q, T6 h
Lλ=∪＿k<λ λ is a limit ordinal
& ]; d6 m9 v9 w3 y$ o( A是极限序数; T$ @) ~" D6 W( u
L=∪＿k Lk，k跑遍所有序数
# n9 L* V/ g& {( S. A! Z( K9 _遗传序数可定义宇宙HODs：6 M9 j t7 [4 ^) S3 s$ L; X2 l# Q
8 l7 c4 E8 z' T4 ]1 X+ T/ ~: dHOD=V
# ^( X2 t [$ R+ Z7 y5 Y8 m0 H* o5 c _$ z" V
HOD=HOD^+ m7 F A2 h) }# F6 m& G7 v
8 l9 d0 ^7 ~1 s4 _HOD^ω=∩＿n<ω HOD# F; v, Q# [; ~9 Z0 f# `
8 L8 R; l" Y" w$ xH=V$ | W+ f! g4 H( N% g
+ n7 }" o$ L- E, S, [5 s8 JH^α+1=HOD^5 V- m. N: g2 o4 i5 ?" M; S8 a
0 t4 x3 I+ y3 @. O1 y
HOD^η=∩α<η HOD^α
' e: A Q* z# i9 E2 D. [) V* v7 D! W# C* U3 Z" v
对所有HODs的脱殊扩张
# |2 C% O' t2 z0 a' y7 W
5 m$ p( o" L5 r. H; z ggHOD=∩HOD^V[G]+ r: F0 u! f. N9 S* o0 `
或许还有：
4 k( z4 d; b ?/ _! y+ M+ e9 L/ Z; I序数宇宙V=ON
2 j/ z1 J( \( s9 S/ ^$ \良序宇宙V=WO4 H" q- t. t3 _1 I. S& d
良基宇宙V=WF6 J% [' @( I$ x* R8 @$ v
于是可能：
& }3 d4 H2 ?* @7 c/ m. AV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43