陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
求解一道关于级数的问题怎么证明？如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
这种积分怎么算？
如何求得这个积分的值？
如何看待复旦数院转专业考试最后一题？
1，2，3，…，n。去掉1，将2挪在n后；去掉3，将4挪在2后，按此规律进行下去，最后留下的数字是？
如何证明封闭曲线面积的参数积分公式？
数学重要的是记忆力、推理力，还是理解能力？
请问(sinx)^3怎么用幂级数展开？
如何求解（似乎是开放问题）级数（如下）？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
e^6≈π^4+π^5有什么数学背景吗？《数学分析》212 页定理可不可以这样用：因为可积且有界，所以有有限个间断点？
怎么计算概率积分 ∫[0, +∞) (e^(-x²))dx？
为什么多项式的根是系数的连续函数？
这种不等式的本质是什么？
全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
如何估计如下的无穷积分不等式？
如何证明下面的关于调和函数的问题？
怎么求lnsinx在0到pi/2的积分啊？
如何证明这个关于良序集的命题？
请问这道定积分该如何计算?
数学分析等等，定义定理证明看得懂，但课后习题几乎一道都做不上来，即便憋几个小时，我到底哪里出了问题？
在一个现实中的数轴上可以找出无理数吗？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
波恩哈德·黎曼这个人有多强？
格林公式教材上的证明是否存在漏洞？
为什么函数的连续点构成可测集？
如何证明下面的数列极限为0？
我发现有个积分很接近e^π+π^e，有大佬能解释下原因吗？
怎么计算概率积分 ∫[0, +∞) (e^(-x²))dx？
二重积分中值定理怎么证明？
如何证明此不等式呢？
如此证明（0，1）=【0，1】，是否正确？
怎么做2022贺年题？
这个猜实数的游戏有没有必胜策略?
为什么说积分能够“磨光”曲线？
1×0=0是因为0乘任何数都是0还是因为1乘任何数都是等于那个数？
不知道想下面描述的一样理解数列极限和收敛对不对，有什么需要改进的地方吗？
我知道 ∑n，∑n²，∑n³ 的结果，那是否能够求出 ∑n^k（k 为正整数）的一般形式通项公式？
请问这个不等式的证明思路是怎样的？