陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何证明这个数列$$a_{n}=sum_{i=1}^{n}(-1)^{⌊ix⌋}$$无界？康托尔著名的对角线证明？
请问这道极限怎么做？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
有界无穷数列是否必有单调子序列？
如果规定数 j 满足 j 的绝对值为 -1 ，数集会不会有新的扩充？
如何证明最小正周期为无理数的数列f（n）极限不存在？
如何计算下图中的多重积分？
有界函数在正无穷处导数趋近于零，如何证明该函数在正无穷处有极限？
请问第五题的导数怎么求，老是求不出?
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
请问铁轨的三次缓和曲线是怎么得到的，具体一点就是y=1/6*x/rl这个系数是怎么推算出来?如何证明（0，1）不是可数集？
如何证明魏尔斯特拉斯函数处处不可导？
下面这个极限的值是多少？如何计算？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
实数完备性的基本定理为什么是 6 个？
这个极限咋算？
小平邦彦《微积分解析入门》第五页怎么等于1?
1-2+3-4+5+… 是否等于 1/4？ 1+2+3+4+5+6+7+… 是否等于 -1/12 ？
怎么计算概率积分 ∫[0, +∞) (e^(-x²))dx？
为什么集合这个数学术语在麻将中没有被说明？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
为什么国产数分教材在定义函数f在x处极限的时候都要求函数f在x的去心邻域内有定义？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
怎么用下面的不等式刻画凸性？
一致连续性与积分是否有潜在关系？在数学分析，尤其是积分中有何应用？
集合相等的定义与空集的定义的矛盾如何理解？
两条直线真的画不出一个圆吗？
有哪些比较好的数学分析和高等代数的公开课（数学系）？
曲线围成的面积存在但是真的可求吗？还是说看作一种定义？
正切函数tanx这个部分分式无穷级数展开式怎么证明?
区间 [0, 1] 内的实数，为什么我证明可以数？
如何严格证明下面这个不等式？
数学系大二如何弥补大一的差基础？
这个题如何用Stolz定理？
集合论与微积分？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
这个式子对吗？若是，具体步骤是什么？
如何判断级数lnn/n^2(从1到无穷)收敛或发散？
x^x 的导数怎么算？