陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
这里有一道类似数学分析的题，请大佬看过来！？如何证明不等式（来自小蓝本）?
泛函分析一道习题，咋做呢?
数学上积分结果的本质是什么？
请问这个奇怪的极限怎么求?
这个级数应该如何求和，关于数项级数求和证明的问题？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
人们专门弄了一个自然对数函数的底数 e，是为什么？
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明该级数收敛?
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
魔方是不是告诉我们，要去寻找事物的统一解和最优解？如何（优雅地）证明｛sinN｝的上下确界分别是1和-1？
定积分的一个性质证明的分析中的一处地方为什么是这样的啊？
如何证明连续函数介值定理？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
所有正方形的数量与所有长方形的数量相等吗？
怎么证明一条线是凸函数?
如何证明下面的级数恒等式？
请问这个奇怪的极限怎么求?
这个极限怎么写?
从985大学退学去俄罗斯读数学专业可行吗?
在一个现实中的数轴上可以找出无理数吗？
怎么证明：拓扑学家的曲线连通但不道路连通？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
如何证明哈代不等式?
为什么无穷多个无穷大的乘积不一定是无穷大？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何证明所谓 是一个闭集？
这个多元积分不等式怎么证？
这个不等式该怎么证明呢？
如何高贵冷艳地写数学分析证明题？
高中毕业暑假学习数学分析合适吗？
无穷和等于三个数怎么解释？
一道不难的极限题，主要看看大家有什么奇思妙想？
能分享一道如果“注意不到”就出不来的数学题吗？
这样的广义斐波那契数列能得到如下的单调性结果吗？
连续函数一定可积吗?
有限覆盖定理和实数连续性有什么关系？
在一个现实中的数轴上可以找出无理数吗？