陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
为什么自然数的和等于 -1/12？大一数学分析学习是偏证明还是偏计算？
能写出一个趋于根号2的有理数数列的初等函数通项公式吗？
收敛的有理系数幂级数个数可数么？
方程 cos(x) = x 的唯一实数解是不是超越数？
如何判断这个习题中的数列是否收敛？
为什么我们可以用平面取一点来证明概率为零事件能发生？
请问这个三重积分怎么计算？
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
有理数集如何拓展到实数集的？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
如何比较这两个数的大小?这个类似卷积的函数极限怎么证明？
设f(n)=lcm(1, 2, …, n)，如何证明∑1/f(n) (n取1到∞) 是一个无理数？
怎样证明 0.999… = 1？
如何证明所谓 是一个闭集？
教授留的思考题，请问这个积分怎么求？
想问下大神连续函数不一定有界的证明?
为什么极限理论是基于实数的完备性？
e 是怎么算的？
如何评价张景中《不用极限的微积分》？
所有函数都能被表示成一个增函数和一个减函数的和吗？
波恩哈德·黎曼这个人有多强？
请问这道题用麦克劳林该怎么做?
实数域上的连续函数f，存在一个有理数a和一个无理数b使得a与b均为f的周期。如何证明f为常值函数？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
这个级数应该如何求和，关于数项级数求和证明的问题？
泊松换元公式有直接用二重积分换元而不变为曲面积分的方法吗？
用Mathematica计算定积分，结果出现虚数是什么原因？
数学系课程中，《解析几何》到底有什么用？
如何证明这个结果?
如果突然有一天1+1=2变成1+1=0这个宇宙会怎么样（要求从最根本出发）？
过两给定的点平分圆面积的最短曲线是什么？
有限覆盖定理和实数连续性有什么关系？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
能否构造一组无理数a,b，使得a^b是有理数?
如何只通过计算证明“两点之间，线段最短”？
如何证明空集不是任意集合的子集？
如何更好理解级数中的概念?
怎么求这个极限问题?