在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？ 第1页
1
jasonchen0325 网友的相关建议:
辅证现有答案对Jech分离公理的引用，以下来自Schindler的set theory
lljpcz 网友的相关建议:
集合X选好了以后，φ(x, X)不就是关于x的一元公式了吗
这么看来，这个“二元的分离模式公理”和分离模式公理就是等价的。
我的回答在这个语境下完全没有帮助。请大家不要采纳。
1
相关话题
如何看待两名数学家在家隔离期间，成功破解 109 年前的数学证明难题？具有怎样的价值？5×3還是3×5？
这个级数是怎么得到的？
下面这个题该如何做？
如何评价IMO（国际奥数） 2019中国队团体总分与美国并列第一，重新夺回团体桂冠？
一元微分理论中，为什么 d(dy/dx)/dx=d^2y/(dx)^2 ？
一个同时有内切椭圆和外接椭圆的多边形满足什么条件？
为什么 1-1+1-1+1-1…=0.5？
为什么博弈中信息状况的改善不总是件好事？
整体大于部分不对吗？比如自然数与偶数？
前一个讨论
减肥的晚上饿了，如何转移注意力？
相关的话题
有什么免费软件可以替代几何画板？这个问题怎么做?最后怎么解出多项式？
2022 这个数字在数学意义上有什么特别的，为什么？
威尔逊定理中 p=4是一个例外，为什么？是否存在其他非质数的例外？
1^k+2^k+3^k+…+n^k 的公式是什么（n，k 均为自然数）？
一个一般的二次型等于0，这个方程应该如何求通解？
实变函数鲁津定理的疑问？
如何求解（似乎是开放问题）级数（如下）？
如何评价 V. I. Arnold 的文章《On Teaching Mathematics》？
为什么 lnx 求导是 1/x？
20184的数字代表着什么意思？
如何推导公式？其意义何在？
二维环面对角线的几何解释怎么理解？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
效用函数的高阶导数有何经济学含义？如何推导？
反正切函数arctanx平方后的无穷级数怎么证明?
这个题怎么求概率？
数学和编程中，「函数」的概念相同在哪里，不同在哪里？
不想学数学怎么办？
数学天才比常人强在哪里？
圆桌上 1000 个人轮流开枪，最后活下来的是几号？
如何评价数海钓鱼将钓鱼题广泛传播的行为?
Ln(-3-3i)等于多少？
数学工作者最不习惯的物理学方法是什么？
100 万和 50% 的机会拿到 1 亿，你会选哪个？
数学上有「从理论上根本无法证明」的东西么？
第6题第(2)问怎么证明？
社会科学可以被形式化公理化吗？
请问这个级数是如何计算的？
C#为何属性和取值相同的dynamic对象的GetHashCode()相同，直接比较两者却又不同？？