集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？请问这个集合不是零测集有什么具体例子吗？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何证明所谓 是一个闭集？
HoTT为什么不比集合论弱?
如何证明两个有理数平方和不能为 7？
这个极限怎么凑成积分?
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
如何理解（证明）不存在与自己的真子集等势的自然数?
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
狄利克雷函数（Dirichlet Function）有什么用处？为什么规定 0 的阶乘为 1？
为什么集合的本身还可以是一个集合的元素？
上帝悖论是否有解？
所有正方形的数量与所有长方形的数量相等吗？
如何反对同学这样解释无理数和有理数一样多？
区间 [0, 1] 内的实数，为什么我证明可以数？
如何证明可测函数被多项式逼近？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
这个极限怎么凑成积分?
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
请问这个集合不是零测集有什么具体例子吗？
“不能被定义”是一种定义吗？
Lp空间上的分析学在其他数学分支有哪些应用？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
怎么建立复数与实数的一一对应？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
小学数学为什么不从集合论学起？
概率论和实变函数（测度论）有什么联系？
所有集合的势都可比较大小吗？为什么？
HoTT为什么不比集合论弱?
康托尔著名的对角线证明？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
为什么规定 0 的阶乘为 1？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
如何证明紧致的度量空间都是第二可数空间？
不可列个数的集合交集并集怎么定义？
没有基的线性空间，是否可以构造，如何构造？