集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？集合相等的定义与空集的定义的矛盾如何理解？
集合论与微积分？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
数学是不是必然会存在不确定领域？
如何证明这个关于良序集的命题？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明这个收敛性问题？
怎么建立复数与实数的一一对应？
如何证明这个"推广的Riemann重排定理"？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
如何证明空集不是任意集合的子集？HoTT为什么不比集合论弱?
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
如何让一个 5 岁小孩听懂什么是选择公理？
集合相等的定义与空集的定义的矛盾如何理解？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明下面的集合论问题？
怎么求解这个极限问题？
康托尔著名的对角线证明？
正整数和正整数中的偶数哪个多（如何证明）？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
如何证明可测函数被多项式逼近？
康托尔著名的对角线证明？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
赋范空间和度量空间都可以定义极限，为什么要引入两个能定义极限的空间呢，区别是什么，各自有哪些应用范围？
如何证明空集不是任意集合的子集？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何让一个 5 岁小孩听懂什么是选择公理？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如何证明所谓 是一个闭集？
在集合的势的意义下，是否存在比实数集更大的全序集？
如何证明这个收敛性问题？
是否任一无穷集合都能分成两个等势的不交集合之并？
你们会觉得测度论反直觉吗？
实数轴上还存在人类未知的数吗？
请问这个集合不是零测集有什么具体例子吗？