陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
比0.000······1更小的非0数，是什么？请问这道重积分的题如何做？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
如何证明下面关于一维开集的问题？
为什么 sin(x)/x 积不出来？
如何证明牛顿―莱布尼兹公式？
这道数列极限有简单点的做法吗？
请问这个三重积分该如何做？
所有函数都能被表示成一个增函数和一个减函数的和吗？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
这个积分具体怎么算呢？格林公式为什么不对称啊？
Ln(-3-3i)等于多少？
如何计算极限 lim(n→∞) [∫[0, n] (x^n)·e^(-x) dx]/(n!)？
如何简明地解释曲率（curvature）？
这个极限怎么凑成积分?
这个东西怎么证明?
如何看待「搞积」这种现象？
请问各位大佬这道积分怎么求？
P是素数，(2^2p)-3一定是素数吗？
负数的正无穷趋于0吗例如（-1/2）的正无穷？
如何求如下n阶导数？
请问一道难度很大定积分，有什么好的解法吗，如下？
如何让一个 5 岁小孩听懂什么是选择公理？
请问这个级数是怎么求和的?
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
我发现有个积分很接近e^π+π^e，有大佬能解释下原因吗？
请问这道定积分的题目怎么写?
如何证明没有上帝？
什么情况下被积函数的原函数不能用初等函数表示？怎么判断呢？
有哪些值得推荐的数学分析教材或者参考书？
请问这道数分题目该如何处理呢，如下？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
问一个数学分析函数连续性的反例?
认为大学基础物理比数分简单很多，是说明自己更擅长学物理吗？
能否构造一组无理数a,b，使得a^b是有理数?
有没有两个不相等的数 a 和 b，满足 a 的 b 次幂等于 b 的 a 次幂？
大一数学分析学习是偏证明还是偏计算？
这个不等式怎么做？
请问这个极限如何计算？