集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
是否任一无穷集合都能分成两个等势的不交集合之并？如何证明这个"推广的Riemann重排定理"？
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
如何证明空集不是任意集合的子集？
有哪些不易察觉的错误证明？
“不能被定义”是一种定义吗？
集合相等的定义与空集的定义的矛盾如何理解？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
什么是实数？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
数学是不是必然会存在不确定领域？Lp空间上的分析学在其他数学分支有哪些应用？
上帝悖论是否有解？
如何证明Osgood定理？
所有集合的势都可比较大小吗？为什么？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何证明这个关于良序集的命题？
小学数学为什么不从集合论学起？
证明的定义是什么？证明的意义是什么？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
为什么集合的本身还可以是一个集合的元素？
学随机分析需要把实分析和泛函学的很深吗?
为什么集合这个数学术语在麻将中没有被说明？
你们会觉得测度论反直觉吗？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
为什么要公理化实数，而不是从自然数导出？
HoTT为什么不比集合论弱?
什么是实数？
如何证明可测函数被多项式逼近？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何评价Stein的实分析以及复分析翻译版本？
实数轴上还存在人类未知的数吗？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何评价Stein的实分析以及复分析翻译版本？
两点之间线段最短是公理吗？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？