集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何证明这个实分析有关问题？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
概率论和实变函数（测度论）有什么联系？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
怎么建立复数与实数的一一对应？
σ-代数为什么叫代数？它有代数结构吗？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
为什么要公理化实数，而不是从自然数导出？总会有被定义的感觉怎么办?
如何证明这个收敛性问题？
如何证明R1可测函数覆盖的区域是可测的？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
所有正方形的数量与所有长方形的数量相等吗？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
与1相邻的实数存在吗？
如何估计如下的无穷积分不等式？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
数学的所有内容都是基于一些无法证明的公理和无法定义的概念（比如集合、直线），那么数学有没有可能是假的？
如何证明函数上下极限相等，则极限存在？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
总会有被定义的感觉怎么办?
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明每一个有穷的偏序都可以延拓成一个线序？
正整数和正整数中的偶数哪个多（如何证明）？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
数学大牛是怎么看待悖论和无穷的？
收敛的有理系数幂级数个数可数么？
集合相等的定义与空集的定义的矛盾如何理解？
Lp空间上的分析学在其他数学分支有哪些应用？
我想证明自然数有穷可行吗？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
怎么建立复数与实数的一一对应？
有理数集如何拓展到实数集的？
为什么要公理化实数，而不是从自然数导出？