陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
有哪些比较好的数学分析和高等代数的公开课（数学系）？(不用答了）这个证明中的这两个红圈中的结论是怎么得出来的？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
这道定积分题目如何解？
为什么我们可以用平面取一点来证明概率为零事件能发生？
如何比较这两个数的大小?
如何判断级数lnn/n^2(从1到无穷)收敛或发散？
如何确定下面三角恒等式中的系数？
Green公式，Gauss公式，Stokes公式除了反映各种积分之间的联系，还蕴含什么更加深刻的内容？
如何证明紧致的度量空间都是第二可数空间？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
这道题该怎么做呢？(数分)？x=a，a为常数，这个图像是连续的吗？
σ-代数为什么叫代数？它有代数结构吗？
在开区间上无界的连续函数一定不一致连续吗？
我有一个数学猜想，你们能证明吗，下面有关于该问题的详细补充说明？
一个半径为1的圆周上有三个点，求三个点构成的图形的面积的期望值？
几乎处处收敛和依测度收敛的区别是什么呢？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
阿贝尔定理有什么哲学思想？
如何证明最小正周期为无理数的数列f（n）极限不存在？
这题怎样证?
几乎处处收敛和依测度收敛的区别是什么呢？
对于随机抽取的情况，概率最大值总是在数学期望附近取到，这是一个定理吗？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
区间 [0, 1] 内的实数，为什么我证明可以数？
该如何学好数学分析？
学数学分析（高级微积分）需要看哪些书?
下面这个集合可数吗？
cotx是周期函数吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
关于闭区间上连续函数的一个证明题？
负数的正无穷趋于0吗例如（-1/2）的正无穷？
若1+1=2，则雪是白色的，这是真命题吗？
到底是用实数定义了复数，还是用复数定义了实数？
为什么有那么多人不承认0.9无限循环=1，且振振有词？
怎么做2022贺年题？
这个全椭圆积分和beta函数的关系该怎么证明？
既然勒贝格积分是黎曼积分的改进，那为什么还要学黎曼积分？淘汰黎曼积分，直接学勒贝格积分不好吗？
如何计算下面无穷级数的值？
为什么房价的涨幅不可能长期超过“GDP涨幅+通货膨胀”?