陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何解决这个函数极限的证明问题？如何证明函数上下极限相等，则极限存在？
有理数旁边是无理数还是有理数，无理数旁边是有理数还是无理数？
数学有什么意义？数学中的一切都是人类自己编造的吗？
一道不难的极限题，主要看看大家有什么奇思妙想？
无穷维流形是什么意思？
如何证明下面的积分不等式？
这道题该怎么做呢？(数分)？
如何评价陈天权《数学分析讲义》？
过两给定的点平分圆面积的最短曲线是什么？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？全体自然数的发散级数和等于负十二分之一代表了什么？隐藏了一个天大的秘密吗？
(cos(lnlnn))/lnn这个级数的收敛性怎么判断呀，如下?
求极限lim(1/(3^1+1)+1/(3^2+1)+...+1/(1+3^n))？
以下极限是否存在？
微积分学教程是否适合工科学生提高数学水平？
如何证明下面的集合论问题？
用积分中值定理，中值的极限怎么证明？
有理数旁边是无理数还是有理数，无理数旁边是有理数还是无理数？
请问这道题用麦克劳林该怎么做?
微分几何中为什么定义指数映射？
如何直观地理解阿贝尔变换恒等式？
怎么证明算术平均数大于等于几何平均数？
如何证明这个关于良序集的命题？
如下图，这个级数如何求出来呢？
底下那步怎么转化的啊 是忽略了吗?
请问这个积分正确吗，如果是的话该如何得到呢？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
这个用分部积分法求不出来，应该用什么方法求啊?
如何证明一个同时以1和π为周期的函数无最小正周期？
怎么用实数系的公理证明0与任何数相乘都等于零（求大佬指教）？
魔方是不是告诉我们，要去寻找事物的统一解和最优解？
请问泰勒公式的几何意义是什么？
(1+e^((-2k-1)pi)) k 从0到无穷的连乘怎么算？
如何证明下面这两个较复杂的不等式?
fx在R上连续可微，limf‘x=c，且f(x+1)-f(x)=f’(x) 如何证明f’x恒等于c?
如何证明下面这两个较复杂的不等式?
有没有一个函数求导后幂会变高？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
HoTT为什么不比集合论弱?