陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?该如何学好数学分析？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
为什么函数的解被称为「根」？
为什么规定 0 的阶乘为 1？
我发现有个积分很接近e^π+π^e，有大佬能解释下原因吗？
如何计算极限 lim(n→∞) [∫[0, n] (x^n)·e^(-x) dx]/(n!)？
请问这两个等式怎么证明呢?
这道关于定积分的题该如何解决?
怎么计算这个广义积分∫[1-x(x^4+1)^(-1/4)]dx,从0到无穷大?
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
南开数学专业考研指导？这个数列有界如何证明？
椭圆的一般方程 Ax²+Bxy+Cy²+Dx+Ey+F=0，其中心点坐标如何推导？
请问这道定积分该如何计算?
怎么证明资本主义必将灭亡？
如何证明紧致的度量空间都是第二可数空间？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
e 是怎么算的？
老哥们，这个题咋做吖，谢谢啦？
这两个极限是怎么处理的？
如何求解下面的极限函数？
什么是上极限？
怎么用下面的不等式刻画凸性？
请问一下如何求解下面这个积分的值？
这个数列问题困扰我一段时间，大佬有没有好的方法呢？
有没有添加一类特殊函数扩充初等函数的方式使得对该集合积分形成封闭域?
请问这个积分题应该怎么做？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
怎么形象地理解对偶空间（Dual Vector Space）？
如何证明我自己是人，就是指书面概念的人类？同时如何证明别人是和我一样的人，而不是类似于npc的生物？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何从零到一，如何从一到二.二到三，如何从三到无穷？
这道题怎么做?不懂？
如何用级数证明三角函数的和差角公式？
用微积分怎么证明勾股定理？
如何证明空集不是任意集合的子集？
这两道题请问怎么做呢?
能否构造一组无理数a,b，使得a^b是有理数?
如何求解下面有关gamma函数的积分？
数学有什么意义？数学中的一切都是人类自己编造的吗？