在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？ 第1页
1
jasonchen0325 网友的相关建议:
辅证现有答案对Jech分离公理的引用，以下来自Schindler的set theory
lljpcz 网友的相关建议:
集合X选好了以后，φ(x, X)不就是关于x的一元公式了吗
这么看来，这个“二元的分离模式公理”和分离模式公理就是等价的。
我的回答在这个语境下完全没有帮助。请大家不要采纳。
1
相关话题
有哪些美丽或神奇的理科公式？反正切函数arctanx平方后的无穷级数怎么证明?
为什么中国小学数学教育要揪“除”和“除以”的区别？
如何证明以下关于ζ(2n)的式子？
O是八面体群，则SO(3)/O如何理解，有何意义？
如何求得这个积分的值？
怎么做2022贺年题？
为什么基础数学学科很少出现论文大量造假或者导师压榨学生促使其跳楼之类的事件？
马云说「数学是一切的基础，数学好的人要尊重其他行业，基础学科只有变成应用才能真正发挥作用」，你同意吗？
如何分配砝码使天平尽可能平衡？
前一个讨论
减肥的晚上饿了，如何转移注意力？
相关的话题
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？为什么复变函数中定义无穷远点的留数时积分路线的方向是负的？
如何从数学角度证明魔方复原存在必可解策略？
如何看待世界顶尖数学家、菲尔兹奖得主 Caucher Birkar 将全职加盟清华大学？
如何证明下面这个式子 ?
上大学学了高等数学之后看高中的数学题是一种怎样的体验？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
2021年5月14日，著名数学家王元院士去世，他对中国数学界有哪些贡献？
一个猜想未被严谨证明也未被证伪时能否运用到科学研究或生产生活中？
为什么都说「学好数理化」，而不是「学好数理化生」？
如何求级数和1/（3^n-2^n）？
为什么逻辑学给入门者的感觉如此之乱？
数学专业本科生，未来选择哪条路赚钱最多？
自学交换代数（atiyah），却无能力自己证明书中的很多定理，是否表明完全不具备继续学习数学的潜力？
为什么许多问题几何性质很明确，但却还要证明呢？
数学从小就差的人在大学有机会翻身吗？
数学是不是就是对数字的定义，而实际不存在的？
带有根号的微分方程应当怎么解？例如微分方程：dy/dx=根号下（x-y+3) ？
河洛理数河洛真数河洛精蕴先看哪一本？
微积分学教程是否适合工科学生提高数学水平？
数学建模到底是个啥?
怎样更好地理解并记忆泰勒展开式？
各位积佬们这个积分有什么好的思路吗？
请问这道无穷级数题有什么巧妙的解法?
如果微积分是中国人发明的，那现在的数学符号会是什么样子？
被剑桥大学 deferred entry 应该接受吗？
超越函数能因式分解吗？
有两个疑问：一是三角锥构型是不是只用于化学的用语，因为在数学上感觉没学过；二是 p4 是什么构型？
证明「哥德巴赫猜想」到底有多难？
在开区间上无界的连续函数一定不一致连续吗？