集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
实数轴上还存在人类未知的数吗？你们会觉得测度论反直觉吗？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
这个不可测集的外侧度是多少？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
什么时候积分运算和级数求和可以调换顺序？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
概率论和实变函数（测度论）有什么联系？
为什么集合这个数学术语在麻将中没有被说明？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？如何证明函数上下极限相等，则极限存在？
如何证明可测函数被多项式逼近？
“可分度量空间”的名字是怎么来的？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
怎么建立复数与实数的一一对应？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
有限覆盖定理和实数连续性有什么关系？
是否任一无穷集合都能分成两个等势的不交集合之并？
为什么集合这个数学术语在麻将中没有被说明？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
在不引入坐标系的情况下能不能定义向量的方向？
如何证明两个有理数平方和不能为 7？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
区间 [0, 1] 内的实数，为什么我证明可以数？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
Lp空间上的分析学在其他数学分支有哪些应用？
数学是不是必然会存在不确定领域？
请问这个集合不是零测集有什么具体例子吗？
这个不可测集的外侧度是多少？
集合相等的定义与空集的定义的矛盾如何理解？
怎么求解这个极限问题？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
复变函数、实分析、复分析、数学分析是什么关系？
所有集合的势都可比较大小吗？为什么？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
有理数集如何拓展到实数集的？