- 博客(5)
- 收藏
- 关注
RSS订阅原创 数理逻辑4 -- 公理化集合论10
等势(Equinumerosity) 康托尔通过研究集合之间的“势”，来研究无穷大和超限数等概念，著名的对角线论证法也从这诞生。定义4.10.1： a. X≅FYX≅FYX \cong_F Y：是Fnc1(F)∧D(F)=X∧R(F)=YFnc1(F)∧D(F)=X∧R(F)=YFnc_1(F) \land \mathcal{D}(F) = X \land \mathcal{R}(F) =...
2018-02-25 18:31:40
380
原创 数理逻辑4 -- 公理化集合论9
这节再讨论些关于序数的定理。教材从这里开始懒的写好式子了，全用自然语言来表达。命题4.15：RR是类YY上的良序，FF是YY到YY的函数，对于任意u,v∈Yu, v \in Y，若<u,v>∈R \in R，则<F′u,F′v>∈R \in R。那么，对任意u∈Yu \in Y，要么u=F′uu = F'u，要么<u,F′u>∈R \in R \}，只需证X...
2018-02-06 17:16:02
246
原创 数理逻辑4 -- 公理化集合论8
继续讨论一些序数的性质。引理4.8.1： a. ⊢(∀α)([Suc(α)⇒(⋃α)′=α]∧[Lim(α)⇒⋃α=α])⊢(∀α)([Suc(α)⇒(⋃α)′=α]∧[Lim(α)⇒⋃α=α])\vdash (\forall \alpha)\Big( \big[ Suc(\alpha) \Rightarrow (\bigcup \alpha)'=\alpha \big] \land \bi...
2018-02-05 21:10:40
288
原创 数理逻辑4 -- 公理化集合论7
上一节给出了序数的定义，下面讨论它们的性质。命题4.8： a. ⊢Ord(X)⇒(X∉X∧(∀u)(u∈X⇒u∉u))" style="position: relative;" tabindex="0" id="MathJax-Element-3-Frame" class="Mat
2018-02-04 15:12:52
301
原创 数理逻辑4 -- 公理化集合论6
罗素悖论 罗素悖论在NBG理论下并不会产生矛盾。记Y={x|x∉x}" role="presentation" style="position: relative;">Y={x|x∉x}Y={x|x∉x}Y = \{ x | x \notin x \}，这个Y" role="presentation" style="position: relative;">YYY就称为“罗素类”。
2018-02-02 09:58:28
709
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人