陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？如何评价陈天权《数学分析讲义》？
如何用级数证明三角函数的和差角公式？
如何去构造一个酉矩阵？
如何处理{nx_n}这个数列？
高等数学中 ϵ 和 ε 哪种字体更常用于刻画极限？
简单光滑道路的不同参数表达 在其上积分是否一定相同？
直角坐标与极坐标的互化中，为什么 dxdy=rdrdθ？
收敛的有理系数幂级数个数可数么？
实变函数鲁津定理的疑问？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
连分式近似怎么操作？无穷维流形是什么意思？
请问这个积分题应该怎么做？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
下面的结论是否正确？
如何求 R^n 上 |x|^2 * e^(-|x|^2) 的积分？
如何证明最小正周期为无理数的数列f（n）极限不存在？
无穷级数 ∑ n=1 ∞ ∫ 0 π sin^n x dx 是否收敛？
如何考虑这个2022贺年题？
区间 [0, 1] 内的实数，为什么我证明可以数？
这道定积分题目如何解？
这类题目怎么做呢？
自然常数 e 从小数点后第二位开始的两个 1828 是巧合吗？
南开数学专业考研指导？
这个定积分怎么搞？
如何证明呢？
如何反对同学这样解释无理数和有理数一样多？
0到1之间所有有理数之和 ，和1到2之间的有理数之和，哪个大？
魔方是不是告诉我们，要去寻找事物的统一解和最优解？
问一下这个反常积分的敛散性？
为什么函数的连续点构成可测集？
下面这个极限的值是多少？如何计算？
无穷维流形是什么意思？
根号素数的有限组合是否一定是无理数?
如何严谨地证明 0.9999…=1？
为什么 sin(x)/x 积不出来？
这道题该怎么做呢？(数分)？
在极限和导数证明中引入无穷小α的意义是什么？
该如何学好数学分析？
如何从零到一，如何从一到二.二到三，如何从三到无穷？