可构造宇宙V=L：
; [( [# N2 D' U6 ^2 S6 q定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
4 y7 _+ f7 f$ `x = {y∈X :φ[y,u,u,u,……]
: \; M q! Q* Z然后：
3 ^: l D6 u; ~: qL=& d) L3 ^' |% D7 K. n& Z8 v
L=Def(L1)={}=1
* @$ M2 r0 x' u# P5 ALn+1=Def(Ln)=n0 d; F( i6 Y3 C+ B& q4 ?: v1 T! C
Lω=∪＿k<ω Lω. t: k4 h$ A' u7 v# Q
Lλ=∪＿k<λ λ is a limit ordinal
! ^# E P0 Y1 m* f. Q' D g是极限序数& M, k6 h- p }8 x
L=∪＿k Lk，k跑遍所有序数' F* _8 v& ?1 d4 z# r
遗传序数可定义宇宙HODs：
$ W+ Y$ h$ F9 E1 C8 L5 @9 a
' @7 W2 S! `6 ^& }4 EHOD=V
: ]! R+ b0 j- u' u" `) `
& Z. M9 E4 s7 O6 x$ LHOD=HOD^. L9 J' _: W$ Z
& Z8 c+ _, t$ Y- F' W
HOD^ω=∩＿n<ω HOD6 b3 S' z D2 X# h/ Q0 s( ]0 I
3 d& L! H" e# e8 n1 u; SH=V
7 a! T: ]6 S: F2 W- j/ Q( M: Z
2 E* D6 ~( w9 x! cH^α+1=HOD^
6 I+ l2 u* e& L' @6 C
7 [% A5 [* ` ]HOD^η=∩α<η HOD^α' y1 N+ P' d. f, f0 j( x/ @
1 Z O/ ] J$ k7 [5 N! R! q0 A
对所有HODs的脱殊扩张9 @( t! }3 S& g4 D0 C2 y
, P$ j) g. N. Z) c' B
gHOD=∩HOD^V[G]4 k0 m0 c0 u7 W0 ]4 W: N$ ^0 Q0 C
或许还有：; H" y& p$ S2 z5 D( ~# H& P- g. |
序数宇宙V=ON4 t# I" T8 v; ~. u+ {# R1 i4 V
良序宇宙V=WO, \6 A( [" C) A3 S* `' M. P- q
良基宇宙V=WF
5 s# ~4 p. U8 Y3 d% b于是可能：) W6 i/ Z( u2 X+ G7 r/ n2 u( Q
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43