可构造宇宙V=L：
[9 M8 q# e/ W( P- q/ n定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得6 m! a! F. _# O* }: h5 e" w
x = {y∈X :φ[y,u,u,u,……]' I7 ]# a/ D( @. @4 F
然后：( ` \+ [; m1 F' l. {
L=
% P" w# P1 c# U5 Z- ZL=Def(L1)={}=1( ?% Z! ~9 V! C D0 L6 m2 V: O
Ln+1=Def(Ln)=n
$ I% Y* @; F: m4 s/ [$ fLω=∪＿k<ω Lω
6 f# J$ x9 }+ d5 j4 yLλ=∪＿k<λ λ is a limit ordinal
' r2 L7 \5 O" L, c, C8 e( {是极限序数
3 q1 x l8 P" W5 t7 C, Q* ?& qL=∪＿k Lk，k跑遍所有序数
' H( b7 |) B3 q. O遗传序数可定义宇宙HODs：
0 N; m1 N6 l# e* _2 u! X
, ]+ I: A9 s/ |HOD=V
) P2 E C7 v$ q, B% d/ ~3 q' H- \8 h
8 ^) L3 x: C! E# T! k# A W, hHOD=HOD^
' ^' M( x9 X' Q( ~& n1 J
O9 S& N6 w3 p0 HHOD^ω=∩＿n<ω HOD- _/ \) S* y7 P+ A9 H& ^5 I
9 D- E9 x: b* J/ H7 T% w
H=V
1 _! X' |: _3 ]& m, i) E
' ]' o6 [. I, _3 T0 {9 t% n5 sH^α+1=HOD^
8 f$ w7 Z) }' j: H. O3 J3 n0 M
* ^; R% L" ^/ o7 u$ H/ THOD^η=∩α<η HOD^α
( V: h1 T9 _! y( P. @( S& Z/ Y2 x R) X
对所有HODs的脱殊扩张
1 Q7 Z: r6 u; `% ]8 @# M- d
% K h" |' u: E, w* ygHOD=∩HOD^V[G]/ L, n! G, R+ q1 y, | l
或许还有： X5 n" Z9 r3 d
序数宇宙V=ON
2 F, @/ [0 `, B% s+ }良序宇宙V=WO: A: y( l- ]3 N0 W; f3 ?
良基宇宙V=WF
4 K+ \# ^9 x* m0 G2 B于是可能：
, l" h- H9 N9 |V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43