可构造宇宙V=L：
3 s I( l& F3 I( ]' f) U0 y定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
0 C% [' \! z& r- @7 cx = {y∈X :φ[y,u,u,u,……]
) L, ?) i8 c0 e9 N) I9 p# ?+ n然后：. R3 J1 f$ W2 g/ m; L( N
L=
" U; I8 g! n" B, p' c |0 v/ G2 oL=Def(L1)={}=1
$ C% X+ t; u6 S) d/ {- tLn+1=Def(Ln)=n
1 T2 g! W5 N0 `/ {Lω=∪＿k<ω Lω' }" r; ?4 B+ P% }6 a
Lλ=∪＿k<λ λ is a limit ordinal
0 X# v: ~% C1 t) W( A是极限序数( K) h8 v% R% x" {% _$ h) c) |" L
L=∪＿k Lk，k跑遍所有序数1 Q* C' k5 v K
遗传序数可定义宇宙HODs：
9 W1 q( S- z# O5 L# B# n9 }4 Q" |4 P- R* z- n
HOD=V
) o: i9 [8 `# k: g* V2 a5 l# z
/ z% G" |) k* \; o# {& J. [& h1 q p1 dHOD=HOD^4 S: Q4 J/ i8 Y" u( i
* y0 V, j0 G' I/ hHOD^ω=∩＿n<ω HOD6 O/ z7 N+ h O, F# u
4 G E5 R: |6 o$ C
H=V: S: o% H# p6 r
0 u; F3 p/ [: \$ ]/ J7 v+ `; Z& [H^α+1=HOD^# X7 F1 q+ e; V8 h+ K3 z" ^
+ ]% {: C. ]5 H* YHOD^η=∩α<η HOD^α
* Z( A. C' j0 Z. ?! h
. y9 q) ~. U+ g ?9 x8 i. Y% t对所有HODs的脱殊扩张; B4 e' L: S0 l) R7 l& m0 ^
6 l4 u/ F" I: h8 `: W! G8 z
gHOD=∩HOD^V[G]( w! T" z2 O( G3 I4 k. A c( |1 e i1 O
或许还有：' F3 Y! O+ Y* a1 E
序数宇宙V=ON
; v3 k1 R5 P. }6 U& u* Y. }( Z% A良序宇宙V=WO( Z4 `6 I7 a/ `! ? n1 Q
良基宇宙V=WF1 q Z8 |2 c! c! r: p$ B U
于是可能：
8 c' G1 ?2 g, qV=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43