可构造宇宙V=L：
5 ]) s7 ~ d: Q, E5 Q定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得
9 R ?( X! D" q: c5 F i) X* vx = {y∈X :φ[y,u,u,u,……]
. h( }2 x& S$ h6 F \) _- H6 \然后：
; L: r6 B8 @" U: l5 M1 E8 RL=; K& C8 C c; T! v' ]# n: \. u0 d8 m
L=Def(L1)={}=1
: b- h! T5 F& m% Y; fLn+1=Def(Ln)=n9 H" u3 R) k" Z, w
Lω=∪＿k<ω Lω9 I* I3 o8 ^$ w7 P
Lλ=∪＿k<λ λ is a limit ordinal
& k# v$ o, {5 k' J& p* @ X是极限序数 c; s2 Z; Y( h# K0 S5 E; `
L=∪＿k Lk，k跑遍所有序数
, h9 W$ P4 m' X1 P* J遗传序数可定义宇宙HODs：
: M# E; C5 d& g7 l- B' J0 a0 Q
* \7 |6 Y7 ?: N# T4 ~* n: E4 fHOD=V
1 T* ~3 X, W& T# p6 b/ G
" r9 o& V( i6 }& g7 v& gHOD=HOD^+ k0 U; q* w' d, Q; L3 ?% ? e) K
- F6 l( i: A' }: ~0 k
HOD^ω=∩＿n<ω HOD9 M: u% \% F6 J, z/ I# a) |
! `# A# F1 x- k t3 k+ {& mH=V$ }: b, j @+ F1 x
9 _* v& h* @5 m( \/ }$ g" J& F3 ]; h" [
H^α+1=HOD^$ }' r/ K# H, }
, G, w6 i: R6 j! b& B
HOD^η=∩α<η HOD^α
0 L" e2 L4 L" }3 A n' o" o9 Z( r, y( y. L4 n4 S6 e( Z Q- b
对所有HODs的脱殊扩张* M, }! W' o$ e/ Q. L/ _
9 c2 b' A4 X. s* G8 f( Q7 E' p/ CgHOD=∩HOD^V[G]- n7 h% v) K3 D% X& X3 |0 Y# D8 ~
或许还有：
; B+ n# M, }2 _' y序数宇宙V=ON
s) J9 E# W1 o4 V: T1 L6 z良序宇宙V=WO" _# q* i# P( ^0 W& w5 v
良基宇宙V=WF; b0 ?1 l4 O: b& }% N+ b
于是可能：' Y) E8 z* I% d, p
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43