陶哲轩为什么用一个新公理代替了旧的幂集公理？ 第1页
1
lljpcz 网友的相关建议:
这俩公理是等价的——如果我们承认了存在公理(存在一个集合)，并集公理，对集公理和分离模式公理。
新幂集公理推老幂集公理是trivial的。
存在公理+分离模式公理→Ф存在。
Ф存在+对集公理→{Ф}存在
Ф存在+{Ф}存在+对集公理→{Ф,{Ф}}存在
新幂集公理+{Ф,{Ф}}存在→老幂集公理(把像集取成{Ф,{Ф}})
老幂集公理推新幂集公理如下
X×Y存在(笛卡尔积)+老幂集公理→P=X×Y的幂集存在
P存在+分离模式公理→新幂集公理(用形式语言表达一下，不同的X对应的Y不同)
1
相关话题
是否存在仅由1和2组成的长度为2^n的序列，可以做到在这个序列中取出所有含1和2的长度为n的序列？数学系课程中，《解析几何》到底有什么用？
这个极限怎么凑成积分?
为什么极限理论是基于实数的完备性？
如何算出这个求和式子结果等于 (2n)!!/(2n+1)!! ？
如何证明此不等式呢？
为什么 无限多个不超过L(L＜1)的正数之积为无穷小?
数学系的你，喜欢数学还是讨厌数学，还是毫无感觉？
格林公式教材上的证明是否存在漏洞？
x=a，a为常数，这个图像是连续的吗？
前一个讨论
如何看待胡渐彪加入薛教授的队伍？
相关的话题
请问如何证明该极限？如何证明 e^π＞23？
有没有目前不知道是否收敛的级数?
整函数f(z)满足lim(z→∞)Re(f(z))/z=0，则f是常数吗？
请问这道数分题目该如何处理呢，如下？
二重积分中值定理怎么证明？
无理数是否可能是一个循环周期过大甚至是无限的一个有理数？
fx在R上连续可微，limf‘x=c，且f(x+1)-f(x)=f’(x) 如何证明f’x恒等于c?
这个极限怎么做呢？
加法交换律 a＋b＝b＋a 是怎么证明的？
如何证明这个由Abel定理得到的结论？
为什么有理数 1/49 看起来这么像是个无限不循环小数？循环节在哪里？
如何证明函数单调有界判别法？
设f(n)=lcm(1, 2, …, n)，如何证明∑1/f(n) (n取1到∞) 是一个无理数？
如何高贵冷艳地写数学分析证明题？
这个定积分怎么搞？
准大一新生如何学好数学分析？
数系从有理数扩充为实数的跨越有无产生一些问题？
请问如何求下面这个连分数收敛到的值？
一个积分不等式，该怎么处理？
不代入数值怎么证明π<sqrt(2)+sqrt(3)?
x=a，a为常数，这个图像是连续的吗？
如何证明下面的集合论问题？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
复变函数、实分析、复分析、数学分析是什么关系？
为什么这个定理要强调递减呢？仅以x0为极限不行吗？如果非递减不可，海涅定理又为何只要求以x0为极限？
无理数是否真的存在？
这个定理请问有人会证明吗？
有哪些让人眼前一亮的函数？
如何求这两个极限？