陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何证明这个数列$$a_{n}=sum_{i=1}^{n}(-1)^{⌊ix⌋}$$无界？多元复合函数求导与一元复合函数求导的联系与区别是什么？
我知道 ∑n，∑n²，∑n³ 的结果，那是否能够求出 ∑n^k（k 为正整数）的一般形式通项公式？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
有界函数在正无穷处导数趋近于零，如何证明该函数在正无穷处有极限？
数学分析怎么学习？
(1+e^((-2k-1)pi)) k 从0到无穷的连乘怎么算？
有理数集如何拓展到实数集的？
两条直线真的画不出一个圆吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
数列收敛的 ε-N 定义怎么理解？其作用是什么？在微积分教材一开始直接引入 epsilon-delta 语言是否有利？
如何证明数列sinn^2发散？
请问这个积分题应该怎么做？
数学系课程中，《解析几何》到底有什么用？
实数完备性的基本定理为什么是 6 个？
如何证明 √2 + √3 + √5 是无理数？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明 e^π＞23？
老哥们，这个题咋做吖，谢谢啦？
这怎么求？ ？
下面这个积分不等式证明有什么好的方法？
请问这个集合不是零测集有什么具体例子吗？
σ-代数为什么叫代数？它有代数结构吗？
人们专门弄了一个自然对数函数的底数 e，是为什么？
x^x 的导数怎么算？
如何用数学严谨证明 宾语前置=前置宾语?
有理数集如何拓展到实数集的？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
连续函数一定可积吗?
为什么函数的解被称为「根」？
为何可以用不动点法求数列通项公式，可不可以解释一下？
这个多元积分不等式怎么证？
如何证明下面的集合论问题？
数学中，类似 π、e 的独立的常数还有哪些？
面积大于零的有界闭凸集的边界一定是简单闭曲线吗？
如何思考这道定积分不等式？
怎样能将数学分析水平提高到挺高的水准呢？
有界函数在正无穷处导数趋近于零，如何证明该函数在正无穷处有极限？
对赢率50%，赔率1:1的游戏，以下通过资金管理以期取得正向收益的思路怎么样（详见问题说明）？