集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
是否任一无穷集合都能分成两个等势的不交集合之并？为什么集合的本身还可以是一个集合的元素？
什么时候积分运算和级数求和可以调换顺序？
如何证明Osgood定理？
请问这个集合不是零测集有什么具体例子吗？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
数学是不是必然会存在不确定领域？
为什么我们可以用平面取一点来证明概率为零事件能发生？
没有基的线性空间，是否可以构造，如何构造？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
是否任一无穷集合都能分成两个等势的不交集合之并？什么时候积分运算和级数求和可以调换顺序？
是否任一无穷集合都能分成两个等势的不交集合之并？
有没有目前不知道是否收敛的级数?
数学分析中的两个反例是否有更深的背景？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
在不引入坐标系的情况下能不能定义向量的方向？
数学的所有内容都是基于一些无法证明的公理和无法定义的概念（比如集合、直线），那么数学有没有可能是假的？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
“可分度量空间”的名字是怎么来的？
如何证明Osgood定理？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明R1可测函数覆盖的区域是可测的？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
是否任一无穷集合都能分成两个等势的不交集合之并？
小学数学为什么不从集合论学起？
有哪些不易察觉的错误证明？
为什么集合的本身还可以是一个集合的元素？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
这个猜实数的游戏有没有必胜策略?
学随机分析需要把实分析和泛函学的很深吗?
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
“可分度量空间”的名字是怎么来的？
我想证明自然数有穷可行吗？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
为什么规定 0 的阶乘为 1？
证明的定义是什么？证明的意义是什么？
收敛的有理系数幂级数个数可数么？
正整数和正整数中的偶数哪个多（如何证明）？