可构造宇宙V=L：
* `: d. Y+ _) t定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u,u,u,……∈X使得# H5 i L/ ^ g8 z6 u
x = {y∈X :φ[y,u,u,u,……]
% J& R( Y+ C) m/ ^: |然后：# q5 o$ A3 k% {. k
L=
% F4 [* l' I( T- M6 _L=Def(L1)={}=1
# y. i- P) H' a4 \, kLn+1=Def(Ln)=n
- k7 g5 F! M4 ^! z$ t7 JLω=∪＿k<ω Lω; b" _* ~' n+ T1 \- ]! a
Lλ=∪＿k<λ λ is a limit ordinal! g# I! t( }; S1 |' o9 m
是极限序数
: k0 d% M( {; tL=∪＿k Lk，k跑遍所有序数
# p$ |" h" u# V3 w' P. `3 K遗传序数可定义宇宙HODs：
7 [( X; S8 @& |$ Q7 `
& a) {+ @% s6 w$ k+ v* KHOD=V$ `. M9 G* Z# R6 W* K( V% N
; y. {9 Q% f9 \% o% R6 H$ uHOD=HOD^
6 h4 O# T- `! G" C! R+ u/ S' Q7 b! r: C0 c6 }
HOD^ω=∩＿n<ω HOD
8 v1 Z5 w* q; m+ x: f4 ~4 }
9 I+ C6 T2 ?4 I& z) h3 YH=V
' @) t) x* `; _0 M
3 s$ I4 r: y U4 xH^α+1=HOD^
/ w q0 y1 `, g* C. B$ f7 _1 x
* j% v! u Y0 y) u$ Z$ e( iHOD^η=∩α<η HOD^α4 h& O7 a0 l4 y- `! o0 C0 o
! |. \( N3 D& m对所有HODs的脱殊扩张
. D$ V6 u$ z' e$ O/ l
# `3 E: S* _( {3 v; ngHOD=∩HOD^V[G]! f& c) z* |5 y
或许还有：) h) _9 e( O+ |; L' c0 c9 C
序数宇宙V=ON
3 b. @7 h2 {( m# z良序宇宙V=WO2 w% I7 `* D% l9 i! M! G
良基宇宙V=WF8 Z5 W/ {) o2 j; F3 B W7 m
于是可能：+ T B1 [! P; }* {5 T+ A
V=L=ON=WO=WF=HOD=Ord=终极L=………… |
|手机版|Archiver|
( 桂ICP备12001440号-3 )|网站地图
发表于 2023-10-6 07:43:43