集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
如何证明（0，1）不是可数集？实数轴上还存在人类未知的数吗？
如何证明这个收敛性问题？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
所有集合的势都可比较大小吗？为什么？
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?
请问开集和闭集如何理解？
集合相等的定义与空集的定义的矛盾如何理解？
所有集合的势都可比较大小吗？为什么？
狄利克雷函数（Dirichlet Function）有什么用处？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
如何评价Stein的实分析以及复分析翻译版本？正整数和正整数中的偶数哪个多（如何证明）？
如何证明这个关于良序集的命题？
这个不可测集的外侧度是多少？
上帝悖论是否有解？
环中任何一个非空子集都可以生成理想吗？
如何让一个 5 岁小孩听懂什么是选择公理？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明空集不是任意集合的子集？
是否任一无穷集合都能分成两个等势的不交集合之并？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
有哪些不易察觉的错误证明？
这个猜实数的游戏有没有必胜策略?
是否任一无穷集合都能分成两个等势的不交集合之并？
有没有目前不知道是否收敛的级数?
如何证明下面的集合论问题？
如何估计如下的无穷积分不等式？
不可列个数的集合交集并集怎么定义？
定义域为空集的空函数该怎么理解？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
如何证明所谓 是一个闭集？
为什么不可数个互不相同的集合之并集可以是可数集?
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
所有集合的势都可比较大小吗？为什么？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
集合相等的定义与空集的定义的矛盾如何理解？
证明的定义是什么？证明的意义是什么？