陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
有哪些让你感觉很有美感的数学分析题？为什么有的数学定理看起来很显然，证明起来却很复杂？
物理或化学方程为什么往往是偏微分方程？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
如何证明不全无界的两不相交闭集之间的的距离大于0？
求解决这道题目？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
哥哥贷款炒股亏了70万，父母都是农民，为此我大一辍学，有什么办法能挽救我们家？
证明如果幂级数在收敛圆上一点收敛，那么从圆内沿任意不与圆周相切的方向逼近时有极限？
这样的极限应该怎么去求解？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
微积分学教程是否适合工科学生提高数学水平？“可分度量空间”的名字是怎么来的？
请问如何证明该极限？
老哥们，这个题咋做吖，谢谢啦？
为什么这两个函数如此接近，有大佬解释下么？
李煌的阶乘计算小技巧，与斯特林公式有什么区别？
一个函数的不定积分存在有哪些必要条件或者充分条件？
为什么无穷多个无穷大的乘积不一定是无穷大？
为什么说实数在物理中不是一种真实的存在？
请问这到微积分证明题题怎么证?？
如何从零到一，如何从一到二.二到三，如何从三到无穷？
为什么有那么多人不承认0.9无限循环=1，且振振有词？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
请问这到微积分证明题题怎么证?？
如何简单明了证明负负得正？
在三维空间单位球上放置n个完全一样的点电荷，怎样放置电势能最低？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何将条件收敛级数 1-1+1/2-1/2+1/3-1/3+1/4-1/4+...证其发散？
如何求此类极限?
是否存在仅由1和2组成的长度为2^n的序列，可以做到在这个序列中取出所有含1和2的长度为n的序列？
数学类课程定理的复杂证明有必要掌握吗？
以数学史的观点来看，集合论是如何成为数学基础的？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
你遇到过的最难的积分题目是什么？
有界函数在正无穷处导数趋近于零，如何证明该函数在正无穷处有极限？
这个能用留数做吗?
这个证明该怎么做？
有界无穷数列是否必有单调子序列？
如何求下面周期函数的极限？
二重积分中值定理怎么证明？