陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
这个积分如何证明？是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
怎么积∫[0, 1] ln(1＋x²)/(1＋x) dx？
这个不等式缩放怎么证明？
数学系的你，喜欢数学还是讨厌数学，还是毫无感觉？
求帮忙解一下这道题？
这道怎么求极限?
如何让一个 5 岁小孩听懂什么是选择公理？
(cos(lnlnn))/lnn这个级数的收敛性怎么判断呀，如下?
比0.000······1更小的非0数，是什么？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
无穷级数 ∑ n=1 ∞ ∫ 0 π sin^n x dx 是否收敛？在正整数 n 充分大的时候，|sin(n)|＞1/n 是否成立？是否有证明或者反例？
请问这道数分题目该如何处理呢，如下？
既然两个分数理论上来说可以无限接近，那么为什么还会出现无理数？
请问大家数学分析里边的函数凹凸性和高数里为什么是相反的呀？
如何求得这个积分的值？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
只有 e^x 求导等于它本身吗？
如何证明 e^π＞23？
收敛的有理系数幂级数个数可数么？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
是否任一无穷集合都能分成两个等势的不交集合之并？
请问贝祖定理（裴蜀定理）除了用辗转相除法还能怎么证?
1+2+3+4+…n和∫ xdx （X从1到n）之间的关系是什么？
大一数学系学生先学高数是否会有助于学习数学分析？数学分析入门很难该如何应对？
小平邦彦《微积分解析入门》第五页怎么等于1?
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
请问这个奇怪的极限怎么求?
怎么建立复数与实数的一一对应？
关于新冠病毒‘共存’和致死率怎样科学计算的问题? 欢迎大家理性讨论！?
能写出一个趋于根号2的有理数数列的初等函数通项公式吗？
《数学分析》212 页定理可不可以这样用：因为可积且有界，所以有有限个间断点？
这个猜实数的游戏有没有必胜策略?
有哪些不易察觉的错误证明？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
为什么有那么多人不承认0.9无限循环=1，且振振有词？
cotx是周期函数吗？
人们专门弄了一个自然对数函数的底数 e，是为什么？
如何求解下面的极限函数？
如何判断这个习题中的数列是否收敛？