陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
一致连续性与积分是否有潜在关系？在数学分析，尤其是积分中有何应用？什么时候积分运算和级数求和可以调换顺序？
这个级数为什么等于ln4？
围棋存在先手必胜／后手必胜的情况，又是否所有回合制游戏只要算力达到了就一定有先手必胜或者先手必输法则？
有哪些高等数学实际应用的书？
如何计算函数 f(x)=log(x)/x 的 n 阶导数？
这几个有关贝塞尔函数的拉普拉斯变换是怎么推导的？
老哥们，这个题咋做吖，谢谢啦？
请问这个积分题应该怎么做？
如何证明 2 的平方根不是有理数？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
自然常数 e 从小数点后第二位开始的两个 1828 是巧合吗？如何用初等函数证明 π 不是有理数？
为什么自然数的和等于 -1/12？
怎么用实数系的公理证明0与任何数相乘都等于零（求大佬指教）？
如何求 R^n 上 |x|^2 * e^(-|x|^2) 的积分？
关于这个函数项级数，有没有一些研究成果？
1/根号tanx的不定积分怎么计算？
数学系大二如何弥补大一的差基础？
泰勒公式展开到任意阶，都不用管后面的高阶无穷小项么？
有哪些值得推荐的数学分析教材或者参考书？
这道证明题该怎么做？
怎样能将数学分析水平提高到挺高的水准呢？
数学教材的题做多少合适？
0.0……1中0的个数是无穷尽的，也就是说永远都不会出现1，那么0.0…1存在的意义是什么？
怎么求这个极限问题?
如何证明 e^π＞23？
如何评价张景中《不用极限的微积分》？
请问这个积分怎么做？
请问应如何证明？
为什么不能直接把哥德巴赫猜想作为一个公理？
数学专业里的微积分叫做数学分析，那概率论和线性代数叫什么（正式分支名称）？
如何证明一下等式?
“可分度量空间”的名字是怎么来的？
这些无穷乘积展开式怎么证明?
有限覆盖定理和实数连续性有什么关系？
哪位大神可以告诉我第一题怎么写吗？在线等?
斐波那契数列倒数和收敛吗，是多少？
用泰勒公式怎么证明?
f（x,y)->(x,y),是2维实数空间的 一一映射函数，f连续，f的反函数是否也连续，why？
请问泰勒公式的几何意义是什么？