陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
对赢率50%，赔率1:1的游戏，以下通过资金管理以期取得正向收益的思路怎么样（详见问题说明）？如何证明函数上下极限相等，则极限存在？
这个极限怎么写?
小学数学为什么不从集合论学起？
一道经典的切比雪夫不等式的概率论题目，各位大佬如何解答？
小平邦彦《微积分解析入门》第五页怎么等于1?
数学分析中最重要的定理是哪个？为什么？
数学分析等等，定义定理证明看得懂，但课后习题几乎一道都做不上来，即便憋几个小时，我到底哪里出了问题？
怎么解Biler上的一道分析难题？
有没有大神回答一下，级数中，比值判别法中的ρ是指什么？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
这个级数是怎么来的？如何证明下面的关于调和函数的问题？
数学的泛函分析应该怎么学？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
这个极限怎么做呢？
「初等函数在其定义域内必连续」的说法是对是错，为什么？
如何评价「泛函、映射、算子、变换都是函数，是搞数学的人骗普通人的把戏」这一说法？实际情况如何？
一个数列是柯西列也是整数列，如何证明其收敛于整数?
Taylor公式证明是怎么想出来的？
方程 cos(x) = x 的唯一实数解是不是超越数？
用积分中值定理，中值的极限怎么证明？
请问如何证明该极限？
用Mathematica计算定积分，结果出现虚数是什么原因？
下面这个积分不等式证明有什么好的方法？
如何证明数列sinn^2发散？
这种不等式的本质是什么？
是否存在一个「无法判定为有理数或无理数」的实数？
为什么离 n!/e 最近的整数是 n-1 的倍数？
有限覆盖定理和实数连续性有什么关系？
这个实变函数题怎么分析）？
无穷等于无穷吗？
这个反常积分的发散如何证明?
求瑕积分∫0^1根号下（x/1-x）dx？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何反对同学这样解释无理数和有理数一样多？
围棋存在先手必胜／后手必胜的情况，又是否所有回合制游戏只要算力达到了就一定有先手必胜或者先手必输法则？
请问这个三重积分该如何做？
区间 [0, 1] 内的实数，为什么我证明可以数？
如何证明封闭曲线面积的参数积分公式？
加法交换律 a＋b＝b＋a 是怎么证明的？