在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？ 第1页
1
jasonchen0325 网友的相关建议:
辅证现有答案对Jech分离公理的引用，以下来自Schindler的set theory
lljpcz 网友的相关建议:
集合X选好了以后，φ(x, X)不就是关于x的一元公式了吗
这么看来，这个“二元的分离模式公理”和分离模式公理就是等价的。
我的回答在这个语境下完全没有帮助。请大家不要采纳。
1
相关话题
高中毕业半年了，还是不会解方程。刚刚还去抖音搜了一下解方程，看了几个视频还是学不会？是不是脑子有问题？为什么在数轴上随便取一个点，一定取到的是无理数？
为什么不能用 0 做除数？
正常的生活是否会限制数学家的发展？
a，b，c，d 是正实数，且 a²＋b²＋c²＋d²＋abcd＝5，怎么证明 a＋b＋c＋d≤4？
十赌九输这句话有根据吗?
数学中有哪些巧合让人眼前一亮？
这个数列问你证明收敛呀？
民科是否很少攻击数学？
伽马函数中，Γ(1/2)=√π 怎么来的？
前一个讨论
减肥的晚上饿了，如何转移注意力？
相关的话题
洗澡的时候突然论证出了1等于0，2等于0，所有数等于0，这个论证哪里错了呢？怎么做，求解?
标记 n 维空间中任意一个点/向量一定要用 n 个坐标吗？
如何求解这几道题?
既然概率为1的事件不一定是必然事件，那么必然事件的数学定义是什么？
真的有什么式子能表示圆周率吗？
计算机能不能真正意义上存储一个无理数？
有没有休闲级别、能读懂的讲「群论」的书籍？
如何评价安徽大学 2019~2020 第一学期高等数学期末考试？
如何证明这个数列$$a_{n}=sum_{i=1}^{n}(-1)^{⌊ix⌋}$$无界？
决定论可以被证伪吗？
Ln(-3-3i)等于多少？
如何计算函数 f(x)=log(x)/x 的 n 阶导数？
如何用最简单的语言统一描述多元函数求导（对向量求导、对矩阵求导等）？
如何理解数学里的「若 A 不真，则 A→B 总是真的」这种蕴含关系？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
无穷大可以比较大小，有没有一个量来描述无穷大的大小？
一个函数的不定积分存在有哪些必要条件或者充分条件？
如何评价hEzo？
学习函数方程有什么实际的意义？
在一个现实中的数轴上可以找出无理数吗？
没有高等数学基础，怎样才能理解研究哥德巴赫猜想?
100 万和 50% 的机会拿到 1 亿，你会选哪个？
你曾经因为做不出数学题哭泣过吗？
如何确定该双变量函数的所有间断点？
数学史上你认为最丑陋的公式是什么？
真的不喜欢数学怎么办？
圆内任取三点/四点在同一半圆内的概率是多少？
「科普」数学的目的是什么？