陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
如何处理这类三个连乘的积分呢？如何证明这个关于良序集的命题？
这个用什么方法呢？
如何简单明了证明负负得正？
为什么有的数学定理看起来很显然，证明起来却很复杂？
高等数学中 ϵ 和 ε 哪种字体更常用于刻画极限？
在开区间上无界的连续函数一定不一致连续吗？
哥哥贷款炒股亏了70万，父母都是农民，为此我大一辍学，有什么办法能挽救我们家？
请问这道数学分析题目应该怎么做呢？
如何计算此多重积分不等式？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
什么情况下比值判别法失效？学习大学数学，如果忽略全部的证明题，数学能学好吗？
连续函数一定可积吗?
如何证明闭区间 [a, b] (b-a>1) 上存在整数？
为什么用bernstein多项式，逼近[0,1]上的连续函数时，多项式超过60多次就不收敛了？
数学专业里的微积分叫做数学分析，那概率论和线性代数叫什么（正式分支名称）？
你见过最恶心的函数是什么？
如何更好理解级数中的概念?
P是素数，(2^2p)-3一定是素数吗？
正切函数tanx这个部分分式无穷级数展开式怎么证明?
这个数学分析的问题该如何求解？
如何证明这个级数恒等式？
求帮忙解一下这道题？
如何证明（0，1）不是可数集？
在微积分教材一开始直接引入 epsilon-delta 语言是否有利？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
问一个数学分析函数连续性的反例?
这个极限结果怎么算出来的？
是否存在一个函数，在它定义域内连续，递增，但处处不可导？
面积大于零的有界闭凸集的边界一定是简单闭曲线吗？
如何证明圆上有理点的稠密性？
有哪些神奇的级数求和？
如何计算以下的积分？
有哪些不易察觉的错误证明？
为什么多项式的根是系数的连续函数？
请问这道高数题怎么做？是琴生不等式吗？
如何从零到一，如何从一到二.二到三，如何从三到无穷？
是否存在连续函数，使得每个数都被取到n次？
柯西审敛原理是证得收敛还是一致收敛?
在极限和导数证明中引入无穷小α的意义是什么？