可构造宇宙V=L：
: q* Z Z: F) a1 v; B- t定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得0 G8 N0 l8 y" n. o S# d9 K
x = {y∈X :φ[y,u,u,u,……]5 Z5 d" M, e( F' K/ S
然后：
# C$ |1 _& X4 ]$ \0 y7 fL=( y3 V" @4 n; v! n
L=Def(L1)={}=1
) I3 [) c$ \) o1 g9 a" PLn+1=Def(Ln)=n' O8 d; ]9 Z. E
Lω=∪＿k<ω Lω
# T- {: M2 S0 ~2 VLλ=∪＿k<λ λ is a limit ordinal0 E( E1 y: m3 u2 W* k
是极限序数
/ Q3 q; p0 h) i, s, Q7 iL=∪＿k Lk，k跑遍所有序数+ \3 F; Q. q1 t$ l2 M& X- @. T
遗传序数可定义宇宙HODs：5 E/ Q- ~8 M5 B. o. N/ q5 G' l
5 N5 F1 N3 j8 N0 B0 y) P" ]/ O
HOD=V* m6 R }4 Y0 s' E. C) m
. K/ K+ `1 ~% S3 g" S% c4 Y$ A3 r
HOD=HOD^8 }% V, ]" k0 V' n7 c
2 K; f# i* O: g) A# nHOD^ω=∩＿n<ω HOD
% }0 O3 R# `* T* d. q* N. h K/ y- }6 Z# Z. ^0 F
H=V0 j _3 X- u, l/ y; P6 D
: x! i$ H' F( p3 O! [+ V, M1 Y& Z# ]
H^α+1=HOD^, p+ A+ \/ R- A
. O _" r/ ^" L8 I# k4 M! C7 b& n
HOD^η=∩α<η HOD^α
# _' V5 r t' H1 b j- ^
3 D- N0 b3 l! A1 B+ A% Y. E对所有HODs的脱殊扩张8 e% |0 l9 E$ r0 [$ P* Q1 }
3 p6 w0 i6 v1 U& qgHOD=∩HOD^V[G]
0 r. J, L+ p' w; C6 Q; `或许还有：
. n& t8 V0 M/ o5 [序数宇宙V=ON
) P$ j) v3 }% s% r! @, }4 [良序宇宙V=WO. b) L" Z7 D# E4 f* z- D, q% v
良基宇宙V=WF
# f9 s9 h e3 Q于是可能：2 k P& z% s( E. Q3 Z4 @! j
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43