陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何求级数和1/（3^n-2^n）？为什么是ε/2?
数学类课程定理的复杂证明有必要掌握吗？
这个题如何证?
请问这个估阶的二三问怎么证明呢？
请问这个集合不是零测集有什么具体例子吗？
什么是实数？
你见过最恶心的函数是什么？
3³+4³+5³=6³，只是个巧合吗?
在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
为什么有理数 1/49 看起来这么像是个无限不循环小数？循环节在哪里？有没有处处不可导的凸函数？
为什么这两个函数如此接近，有大佬解释下么？
如何证明下面的关于调和函数的问题？
实变函数鲁津定理的疑问？
怎么计算这个广义积分∫[1-x(x^4+1)^(-1/4)]dx,从0到无穷大?
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么有理数 1/49 看起来这么像是个无限不循环小数？循环节在哪里？
请问这个不等式的证明思路是怎样的？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
围棋存在先手必胜／后手必胜的情况，又是否所有回合制游戏只要算力达到了就一定有先手必胜或者先手必输法则？
能写出一个趋于根号2的有理数数列的初等函数通项公式吗？
如何求级数和1/（3^n-2^n）？
数学中，f'(x) 和 (f(x))' 到底有什么区别？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
有哪些让人眼前一亮的函数？
这个反常积分的发散如何证明?
如何判断下面这个级数的敛散性？
如何证明下面这两个较复杂的不等式?
埃式筛为什么只要筛到根号n就好了？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
连续的周期函数都有最小正周期吗？
请问(sinx)^3怎么用幂级数展开？
为什么有的数学定理看起来很显然，证明起来却很复杂？
这个猜实数的游戏有没有必胜策略?
数学重要的是记忆力、推理力，还是理解能力？
如何证明所谓 是一个闭集？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如果当神被证明存在，对世界有什么影响？
这个级数是怎么来的？