可构造宇宙V=L：
9 W0 ^; B# u1 b: o& P定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
4 o& }% i, U( ?* Tx = {y∈X :φ[y,u,u,u,……]
$ i6 g* I1 m' f然后：. }2 a F. g2 D1 R9 q' K, n
L=
, |1 D: J+ J, j- CL=Def(L1)={}=12 r' T6 q7 z2 B" ^3 `
Ln+1=Def(Ln)=n
2 l" K2 Q# j% M3 R# uLω=∪＿k<ω Lω
, s( ?5 k2 ]- I* S/ e) Y: @! zLλ=∪＿k<λ λ is a limit ordinal
6 P0 D4 {, ? W是极限序数0 f" z0 m, _: D3 u% n
L=∪＿k Lk，k跑遍所有序数5 v: c/ ]" r+ }3 g5 I& z/ F
遗传序数可定义宇宙HODs：
T& H. j! F5 Y/ A) k1 K: I. H i1 a/ N7 l
HOD=V2 L# X. |5 e7 T) E' |
0 d$ P8 L# e/ a9 z' a" p _( Z8 GHOD=HOD^# N' S7 U4 g. ^' I0 E) A
7 W4 A ~2 g9 Z( d+ D8 A+ J l: _: aHOD^ω=∩＿n<ω HOD2 |4 f- e% x# M2 K& ^9 x- B
+ M( l. l+ D V+ P w- `H=V
( K H4 P# `7 B3 E( O7 G5 D( n8 k; U0 P% D" x
H^α+1=HOD^
- e2 y# \; h7 m5 S7 `. G. |0 d( N
HOD^η=∩α<η HOD^α
3 q4 k& U* E2 H" ]5 r2 b0 F! G1 O% D" F: b% ]5 P
对所有HODs的脱殊扩张7 J5 u& p; n; [
/ G, `3 S! C& V4 A4 O5 qgHOD=∩HOD^V[G]; o2 C' l7 `& z% |, C' H R
或许还有：* U. G7 ]- x5 q( H2 S9 N2 E
序数宇宙V=ON
9 s+ l+ L5 c2 o7 G% u- p良序宇宙V=WO
6 y& F+ z& ]2 |良基宇宙V=WF
4 w, @5 }6 O: S; v/ X于是可能：
, U7 D" ]# S9 |$ e; tV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43