集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
“可分度量空间”的名字是怎么来的？陶哲轩为什么用一个新公理代替了旧的幂集公理？
等词是否可以用属于来定义？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
请问这个集合不是零测集有什么具体例子吗？
在不引入坐标系的情况下能不能定义向量的方向？
请问开集和闭集如何理解？
为什么集合的本身还可以是一个集合的元素？
什么是实数？
如何证明空集不是任意集合的子集？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
什么是「测度论」？什么是「测度论」？
康托尔著名的对角线证明？
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
狄利克雷函数（Dirichlet Function）有什么用处？
有哪些不易察觉的错误证明？
怎么建立复数与实数的一一对应？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
如何证明这个"推广的Riemann重排定理"？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
如何评价Stein的实分析以及复分析翻译版本？
如何证明R1可测函数覆盖的区域是可测的？
集合相等的定义与空集的定义的矛盾如何理解？
若 A={x, x∉A}，那么 A 是 ∅ 吗？
所有正方形的数量与所有长方形的数量相等吗？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
有没有目前不知道是否收敛的级数?
概率论和实变函数（测度论）有什么联系？
数学中为什么要定义各种空间？
这个极限怎么凑成积分?
如何理解区间 [0, 1] 内有理数集合的长度为 0？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
下面这个集合可数吗？
所有集合的势都可比较大小吗？为什么？
与1相邻的实数存在吗？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
怎么得到这个不等式?
请问这个集合不是零测集有什么具体例子吗？