集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
如何证明（0，1）不是可数集？请问这个集合不是零测集有什么具体例子吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
怎么求解这个极限问题？
什么是实数？
为什么度量空间中聚点等同于极限点？
实数轴上还存在人类未知的数吗？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
是否任一无穷集合都能分成两个等势的不交集合之并？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
为什么集合的本身还可以是一个集合的元素？如何证明Osgood定理？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
证明的定义是什么？证明的意义是什么？
有理数集如何拓展到实数集的？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
极限为0的函数为什么要单独命名为无穷小？有哪里特殊了？
如何证明空集不是任意集合的子集？
为什么度量空间中聚点等同于极限点？
集合相等的定义与空集的定义的矛盾如何理解？
定义域为空集的空函数该怎么理解？
证明的定义是什么？证明的意义是什么？
学随机分析需要把实分析和泛函学的很深吗?
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
如何反对同学这样解释无理数和有理数一样多？
复变函数、实分析、复分析、数学分析是什么关系？
为什么矩形面积等于长乘宽？
如何证明这个关于良序集的命题？
你们会觉得测度论反直觉吗？
如何证明每一个有穷的偏序都可以延拓成一个线序？
复数是否包含实数？
怎么得到这个不等式?
实数轴上还存在人类未知的数吗？
康托尔著名的对角线证明？
不可列个数的集合交集并集怎么定义？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
在不引入坐标系的情况下能不能定义向量的方向？
如何证明所谓 是一个闭集？