陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何计算这个积分？数学分析中，关于某个变量一致是什么意思？
如何证明 √2 + √3 + √5 是无理数？
如果有一个初三学生说他懂微积分，我该怎么应对？
请问贝祖定理（裴蜀定理）除了用辗转相除法还能怎么证?
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
数学中有哪些让你感到赏心悦目或是震惊的构造手法？
e^(-x)|sinx|在(0,+∞)与x轴围成的面积怎么算？
为什么要用乘法计算面积？
如何证明 e^π＞23？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
如何求解此题？这个证明该怎么做？
在极限和导数证明中引入无穷小α的意义是什么？
这个能用留数做吗?
阿贝尔定理有什么哲学思想？
连续的周期函数都有最小正周期吗？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
定积分的一个性质证明的分析中的一处地方为什么是这样的啊？
什么情况下比值判别法失效？
集合相等的定义与空集的定义的矛盾如何理解？
为什么要用乘法计算面积？
如何证明下面关于一维开集的问题？
泛函分析一道习题，咋做呢?
用积分中值定理，中值的极限怎么证明？
如何证明所谓 是一个闭集？
3³+4³+5³=6³，只是个巧合吗?
这几个不等式如何证明?
这个东西怎么证明?
请问这个三重积分怎么计算？
数学分析中的习题能否在考研中当作定理直接使用？
请问一下如何求解下面这个积分的值？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
P是素数，(2^2p)-3一定是素数吗？
如果 f(x) 与 g(x) 均为周期函数，判断其相加后的周期性？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
如何解出这个定积分?
如何思考这道定积分证明题？
为什么函数的连续点构成可测集？
如何证明半径为 a 的圆内的一条闭曲线必有一点点曲率大于 1/a？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？