集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
如何估计交集测度大小？所有集合的势都可比较大小吗？为什么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
两点之间线段最短是公理吗？
如何证明下面的集合论问题？
为什么度量空间中聚点等同于极限点？
如何证明R1可测函数覆盖的区域是可测的？
什么是实数？
概率论和实变函数（测度论）有什么联系？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
为什么度量空间中聚点等同于极限点？集合相等的定义与空集的定义的矛盾如何理解？
为什么度量空间中聚点等同于极限点？
有理数集如何拓展到实数集的？
这个猜实数的游戏有没有必胜策略?
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
集合相等的定义与空集的定义的矛盾如何理解？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
我想证明自然数有穷可行吗？
所有集合的势都可比较大小吗？为什么？
复数是否包含实数？
“可分度量空间”的名字是怎么来的？
集合论与微积分？
上帝悖论是否有解？
如何证明两个有理数平方和不能为 7？
怎么用下面的不等式刻画凸性？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
是否任一无穷集合都能分成两个等势的不交集合之并？
证明的定义是什么？证明的意义是什么？
所有正方形的数量与所有长方形的数量相等吗？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
有没有目前不知道是否收敛的级数?
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
收敛的有理系数幂级数个数可数么？
为什么集合的本身还可以是一个集合的元素？
σ-代数为什么叫代数？它有代数结构吗？
你们会觉得测度论反直觉吗？
有限覆盖定理和实数连续性有什么关系？
请问这个集合不是零测集有什么具体例子吗？
如何理解区间 [0, 1] 内有理数集合的长度为 0？