陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
问一下大佬这个题怎么想？怎么形象地理解对偶空间（Dual Vector Space）？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
对于随机抽取的情况，概率最大值总是在数学期望附近取到，这是一个定理吗？
如何看待美国学者称经济学用了错误版本的微积分？
如何证明不等式(x+1)^(1/(x+1))+x^(-1/x)>2 ?
如何严谨地证明 0.9999…=1？
常微分方程解对初值的连续依赖性，书上都是定理证明，能否举个最简的方程来说明下，它的解是怎么依赖初值的？
如何解决此道数学分析不等式？
如何证明这个关于ζ(5)的等式？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
如何理解区间 [0, 1] 内有理数集合的长度为 0？既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
这题怎样证?
为什么不能直接把哥德巴赫猜想作为一个公理？
为什么要用乘法计算面积？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
一道数学分析题? 应该如何做呢?
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何严谨地证明 0.9999…=1？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
请问这个积分怎么做？
请问这道定积分该如何计算?
为什么说积分能够“磨光”曲线？
如何评价上海财经大学在多省份滑档后，新生数分一挂科率高达 26％？是生源质量的问题吗？
如何证明所谓 是一个闭集？
如何证明所谓 是一个闭集？
学习大学数学，如果忽略全部的证明题，数学能学好吗？
如何直观地解释「紧致性」？
如何求 R^n 上 |x|^2 * e^(-|x|^2) 的积分？
如何评价强权即公理？
这道题该怎么做呢？(数分)？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
为什么度量空间中聚点等同于极限点？
e 是怎么算的？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何求证：无穷级数∑1/i²=π²/6，求方法？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
李煌的阶乘计算小技巧，与斯特林公式有什么区别？