陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
这个极限怎么做呢？A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
如何直观地解释「紧致性」？
李煌的阶乘计算小技巧，与斯特林公式有什么区别？
如何证明矩形与集合边界有交集？
该函数的最小值是多少?应该怎么解？思路是什么？
能写出一个趋于根号2的有理数数列的初等函数通项公式吗？
3³+4³+5³=6³，只是个巧合吗?
如何判断这个反常积分的判敛性？
如何看待全民代数几何的现象？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
求帮忙解一下这道题？这个数学分析的课后习题怎么证明?
请问这道题用麦克劳林该怎么做?
这题怎样证?
大一数学系学生先学高数是否会有助于学习数学分析？数学分析入门很难该如何应对？
一个收敛级数∑a_n，使得级数∑(a_n)³发散，这个有哪些例子？又应该如何构造？
如何证明算术平均的极限？
P是素数，(2^2p)-3一定是素数吗？
如何求级数和1/（3^n-2^n）？
σ-代数为什么叫代数？它有代数结构吗？
怎么解Biler上的一道分析难题？
数学上积分结果的本质是什么？
为什么任给一个圆，它的圆周长和直径比值都是常数？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
如何证明下面的级数收敛？
如何证明下面的关于调和函数的问题？
如何计算函数 f(x)=log(x)/x 的 n 阶导数？
这个极限结果怎么算出来的？
如何求解此题？
为何可以用不动点法求数列通项公式，可不可以解释一下？
多元复合函数求导与一元复合函数求导的联系与区别是什么？
微分几何中为什么定义指数映射？
数学分析上的定理证明过程需要掌握到什么程度？
调和级数变形一下成为收敛了，能给个证明吗？
根号 a（a 为正整数）不是整数，就是无理数吗？有没有可能是分数？
如何求这两个极限？
不可列个数的集合交集并集怎么定义？
以下极限是否存在？