在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？ 第1页
1
jasonchen0325 网友的相关建议:
辅证现有答案对Jech分离公理的引用，以下来自Schindler的set theory
lljpcz 网友的相关建议:
集合X选好了以后，φ(x, X)不就是关于x的一元公式了吗
这么看来，这个“二元的分离模式公理”和分离模式公理就是等价的。
我的回答在这个语境下完全没有帮助。请大家不要采纳。
1
相关话题
如何证明方程 x³＋y³＝2020 没有整数解？两个小数的积一定是小数吗？
怎样用一个普通人能看懂的方法证明 π 是无理数？
底下那步怎么转化的啊 是忽略了吗?
哈密尔顿-凯莱定理的本质是什么？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
如何证明紧致的度量空间都是第二可数空间？
如果有人想走遍中国所有的省级行政区（含港澳台），总路程最小可以是多长？
如何判别一个方程所表征的曲线是否封闭？
梯子沿着垂直的墙下滑，扫过的区域的边界是怎样的？
前一个讨论
减肥的晚上饿了，如何转移注意力？
相关的话题
数学和英语是不是高中最难的科目？为什么有些人连微积分都不会算，却能侃侃而谈「科学的尽头」呢？
二本到 985 读研，跟不上心态崩了怎么办？
在泛函和偏微等学科中，为什么要引进「弱」的概念？
谜之代码是否存在？
我学习数学的时候做总会停止思考，脑子转不过来，连简单的例题都看不懂，是怎么回事？？
想知道为什么知乎上的高中生学习都这么厉害？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
整函数f(z)满足lim(z→∞)Re(f(z))/z=0，则f是常数吗？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何推导下面这个等式？
√π 和 π 哪个更无理？
怎么求x的x次方n阶导？
两数列合并后有什么性质？
高等数学中的希腊字母你们都是如何书写的？
穷人里出来的学霸和富人里出来的学霸有什么相同点和不同点？
阿贝尔变换强大在哪里？
什么是半微分（semi-differential）？有什么几何意义吗？
如何证明悬链线图像是双曲余弦？
为什么三体中说改变数学规律是很可怕的？
若 f(f(x))=x²+1，则 f(1) 为多少？
这个函数的不定积分是初等函数吗？
圆桌上 1000 个人轮流开枪，最后活下来的是几号？
参加 2021 年丘成桐大学生数学竞赛是什么体验？如何评价今年的竞赛？
我这种情况，是否可以从事数学研究?
你无意中发现过哪些图灵完全的系统？
这道求极限的题怎么做？
连分式近似怎么操作？
这道求极限的题怎么做？
请问这两个在表达方式上很相似的结论是否有相通的地方（感觉他们证明方法也很像）？