可构造宇宙V=L：
# \- Q# v+ w7 k r T. h定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得# w9 p( e7 a& j! T( m% V
x = {y∈X :φ[y,u,u,u,……]
5 ?2 E0 d5 Z9 T' W- a; R+ y然后：
4 g7 V. O8 U4 S2 Z* WL=- L4 @$ U2 i2 q$ v" s
L=Def(L1)={}=1
$ b( ?" P, {* q/ O3 {1 jLn+1=Def(Ln)=n
) Q. _/ S% Q' \6 bLω=∪＿k<ω Lω, Y1 ^6 Y, N4 j' t+ u
Lλ=∪＿k<λ λ is a limit ordinal
% x! N. d6 W' I. n4 H* H; B是极限序数7 ~- }1 V# Y: `$ z5 o
L=∪＿k Lk，k跑遍所有序数+ i3 b! s6 N, j+ f2 p4 T
遗传序数可定义宇宙HODs：+ \9 C; V4 d9 a3 W! J
/ c% A8 V2 R/ R2 Z
HOD=V
/ L8 @4 a/ I& F9 r8 X) D, r3 e |) N8 W0 n
HOD=HOD^: }. V3 D5 v' e; d! v' |3 I' a) q
5 i* \; d* J+ r# l* s# n+ c2 j$ @' wHOD^ω=∩＿n<ω HOD
! N' i6 F6 N3 r1 V5 |4 [$ q( B# o" ]' C+ f8 ~
H=V
" b5 s# X( d+ [3 N. W
1 I* \' u& `- Y1 x( EH^α+1=HOD^
/ a' D) y* e; R3 B. W- C4 ]0 u) u. G9 s
HOD^η=∩α<η HOD^α; Q% d1 [1 v+ J% j! q' M
7 i$ K- X4 B, m对所有HODs的脱殊扩张
- f5 l2 \5 M2 C$ D: Q* z
* s4 j: J8 Z! T* D v0 O, S4 `gHOD=∩HOD^V[G]
! D( c9 {& W: j7 {/ K5 P; J或许还有：
, o) T' h8 g$ x$ T7 ?: Y: G. l8 {' W序数宇宙V=ON
6 \9 d; j% }" V8 i( Z" d良序宇宙V=WO' z9 z( ?8 h/ N5 Q4 |0 p
良基宇宙V=WF& u; Q( f% z6 Z( o" k
于是可能：
3 T" c( H# ?. [4 x) b( rV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43