集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
实数轴上还存在人类未知的数吗？如何理解区间 [0, 1] 内有理数集合的长度为 0？
请问该如何证明？
怎么证明这个积分不等式？
有理数集和无理数集哪个大，为什么？
如何证明Osgood定理？
数学中为什么要定义各种空间？
怎么建立复数与实数的一一对应？
零测集的子集是否可测？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
有理数集和无理数集哪个大，为什么？是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
两点之间线段最短是公理吗？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
如何让一个 5 岁小孩听懂什么是选择公理？
环中任何一个非空子集都可以生成理想吗？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
正整数和正整数中的偶数哪个多（如何证明）？
如何证明R1可测函数覆盖的区域是可测的？
如何证明可测函数被多项式逼近？
数学大牛是怎么看待悖论和无穷的？
这个极限怎么凑成积分?
请问该如何证明？
如何证明紧致的度量空间都是第二可数空间？
如何证明所谓 是一个闭集？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
如何证明这个"推广的Riemann重排定理"？
HoTT为什么不比集合论弱?
怎么用下面的不等式刻画凸性？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
如何证明两个有理数平方和不能为 7？
如何证明空集不是任意集合的子集？
为什么我们可以用平面取一点来证明概率为零事件能发生？
什么是「测度论」？
什么是实数？
如何理解（证明）不存在与自己的真子集等势的自然数?
如何证明这个收敛性问题？