可构造宇宙V=L：
6 g3 b4 Q2 E2 @( }$ e0 X+ G定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得( V6 e/ }, ?8 u/ d8 u- E
x = {y∈X :φ[y,u,u,u,……]. J4 z9 [7 m+ T/ A
然后：
% x! |' @" N" z9 BL=
% n, l1 e7 X* RL=Def(L1)={}=15 J2 g9 K1 m/ F' q3 r4 Z a
Ln+1=Def(Ln)=n: x2 H3 o+ S6 T1 v* s, `
Lω=∪＿k<ω Lω
# u4 z. \4 \) {9 ]! |Lλ=∪＿k<λ λ is a limit ordinal3 n6 \6 X! a, X' |/ P) O* [5 v
是极限序数
( ]! V5 h# V u5 e) @& N3 Q8 P3 vL=∪＿k Lk，k跑遍所有序数
# I6 J$ Y* H5 S. R* c8 I; j3 M1 U( s遗传序数可定义宇宙HODs：5 H9 B! c, i1 ~3 |7 P' `' n; [
& m: z1 s9 ^% h+ O A" d
HOD=V
6 B" {2 @( ^, F' Y& V
& W6 X, z9 M) L4 _HOD=HOD^7 a- T$ X5 L7 B, H
4 w0 Z, s+ u3 I+ i9 H1 H
HOD^ω=∩＿n<ω HOD
& E* a: H( n5 |
, Z% S+ K# v% Y2 O/ xH=V
" X8 z' P) G X9 b6 F
. l' H- ?- s5 x2 X3 D8 PH^α+1=HOD^
) G% N2 A9 k0 ~+ J) p: B# f9 y, y. F" ]& M+ I9 q
HOD^η=∩α<η HOD^α9 O& \, H8 W# X, V; ~/ @8 v5 ^; W
, E, c0 [: J: V( r' H/ j) u6 P) `对所有HODs的脱殊扩张
3 S# E9 W5 N- a& f! R m) d) t1 x, P. X4 T
gHOD=∩HOD^V[G]9 T7 W2 H' [7 q3 w- w& f: ?
或许还有：& c( D* }; L8 z5 c0 j
序数宇宙V=ON. n7 Z. V- } Z3 Z
良序宇宙V=WO0 |$ P+ @6 C' z
良基宇宙V=WF
8 M1 v$ Y5 i8 r" X, \1 D, \于是可能：
7 v- @& `6 e$ w5 \5 a* g0 pV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43