可构造宇宙V=L：
) x9 y- w4 c, e3 ^3 X$ a1 e8 S! T定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得+ D; s% c' q/ V, ~ F" L7 o
x = {y∈X :φ[y,u,u,u,……]8 {- ^: {) o& ? r6 e2 L9 F
然后：5 n) l3 z) j l1 x% l/ s; X# C, ]
L=
- Y0 ?( F7 i# a4 H4 @; y( yL=Def(L1)={}=1* y! q2 t7 T. Z& @
Ln+1=Def(Ln)=n
, l5 H) X; [* s. ]* ?4 B3 h" h4 [% |Lω=∪＿k<ω Lω9 D; A9 V1 H' v$ s5 ^( J$ Y# h# P
Lλ=∪＿k<λ λ is a limit ordinal
1 @7 _+ [# O1 m. r" p. f0 c2 T9 _是极限序数) O/ R" N. ^( x$ L+ @) g
L=∪＿k Lk，k跑遍所有序数; G4 y- }4 {) j
遗传序数可定义宇宙HODs：, N. c M+ V [& [6 l8 {+ r
6 _, p8 d: Z! b
HOD=V3 C6 e1 C7 Q0 `, N
+ E2 ^2 b# f3 F! ZHOD=HOD^5 Q. u" \. }. `; d, g
. K( O1 H; m- C" a: CHOD^ω=∩＿n<ω HOD4 B9 r% s( m8 @4 Z' \4 s
3 t! D8 h2 y: g* {4 i
H=V
4 f4 \. b9 e+ Y3 d5 i
. k9 H7 m) D, b3 _+ zH^α+1=HOD^! g5 b A' {( Z( N2 i; r
4 O) g7 Z5 J) i% gHOD^η=∩α<η HOD^α/ m9 T" D. i: u9 k/ v- j) g! Y" F
! z+ Q$ X8 A! m/ z ?对所有HODs的脱殊扩张* o: `9 c0 ~, Y- B: S
6 B2 p9 \9 q" t2 T& ^
gHOD=∩HOD^V[G]- p c! T* g9 C/ ~/ X( d' ^8 M
或许还有：+ a0 t8 D2 O3 Y) h9 O# i
序数宇宙V=ON; w8 Z+ A$ R3 K5 O% }) C
良序宇宙V=WO
& X& h' i( I+ F# x良基宇宙V=WF2 f( m9 Q( c* `- X- k% y2 Z, M
于是可能：
; r9 w5 G8 ^/ r" FV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43