在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？ 第1页
1
jasonchen0325 网友的相关建议:
辅证现有答案对Jech分离公理的引用，以下来自Schindler的set theory
lljpcz 网友的相关建议:
集合X选好了以后，φ(x, X)不就是关于x的一元公式了吗
这么看来，这个“二元的分离模式公理”和分离模式公理就是等价的。
我的回答在这个语境下完全没有帮助。请大家不要采纳。
1
相关话题
有没有大神回答一下，级数中，比值判别法中的ρ是指什么？八股取士/微积分是否为教育上的「毒瘤」？
如何证明 1+1/4+1/9+1/16+1/25+…=π²/6？
基础数学的非线性泛函分析研究什么？
哪个瞬间让你觉得一入数学深似海？
如果让一个大学数学系的顶尖学霸去解一道高中极其困难的数学题，他还能解出来吗？
(1+e^((-2k-1)pi)) k 从0到无穷的连乘怎么算？
高一没上过竞赛，看了一个月微积分。今天早上尝试后自己推出了球体积公式，大概什么水平?
从985大学退学去俄罗斯读数学专业可行吗?
怎么证明关于素数的米尔斯常数A是存在的?
前一个讨论
减肥的晚上饿了，如何转移注意力？
相关的话题
为什么任何阶数等于其定义空间维数的全反对称张量在该空间中坐标系转动下不变？数学家是怎样思考问题的？
这道证明题该怎么做？
如何用根号表示Sin1°?
在游戏中暴击率90，十次攻击会暴击九次吗，如果80暴击率的对手反而十次全部暴击，暴击率的意义是什么？
如何通俗地解释混沌理论（chaos）和分岔理论（bifurcation）？
为什么 0+1=1 而 0+2≠1？
为什么会有数学家反对对无穷集合使用排中律？
傅里叶级数的系数是怎么得到的？
如何用数论证明 3^x＋4^x＝5^x 只有一个实数解？
如何理解矩阵特征值？
这道题该怎么做呢？(数分)？
无限不循环小数 派 中可以出现连续的100个0吗？
ln(x)取值为超越数的条件是什么？
勾股数有有限多组还是无限多组？
什么是数学之美？
如何评价同济大学版线性代数？
如何证明该级数收敛?
如何看待山东大学泰山学堂数学取向要做大量的大物实验？
傅里叶变换等于自身的函数有哪些？
有哪些数学系鄙视物理系的经典桥段？
如何证明√2是无限不循环小数？
如何发表一篇数学论文？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
数学好的人去搞生物是种怎样的体验？
哪些数学书让你相见恨晚？
如何看待数学大神韦东奕的讲课方式难以理解学生纷纷退课，课堂教学应该采取什么样的互动方式？
请问这个不等式该如何证明？
请问高等代数判断多项式可约性的这一题要怎么入手？
一个会读心术和一个能预知未来的人下棋，谁能赢？