集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？σ-代数为什么叫代数？它有代数结构吗？
所有正方形的数量与所有长方形的数量相等吗？
证明的定义是什么？证明的意义是什么？
与1相邻的实数存在吗？
如何让一个 5 岁小孩听懂什么是选择公理？
实数轴上还存在人类未知的数吗？
如何理解（证明）不存在与自己的真子集等势的自然数?
为什么规定 0 的阶乘为 1？
所有正方形的数量与所有长方形的数量相等吗？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？如何证明空集不是任意集合的子集？
请问开集和闭集如何理解？
如何证明所谓 是一个闭集？
如何证明两个有理数平方和不能为 7？
如何让一个 5 岁小孩听懂什么是选择公理？
复变函数、实分析、复分析、数学分析是什么关系？
如何证明R1可测函数覆盖的区域是可测的？
有理数集如何拓展到实数集的？
狄利克雷函数（Dirichlet Function）有什么用处？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
零测集的子集是否可测？
复数是否包含实数？
为什么函数的连续点构成可测集？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何估计交集测度大小？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
什么时候积分运算和级数求和可以调换顺序？
如何证明这个关于良序集的命题？
有限覆盖定理和实数连续性有什么关系？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
这个极限怎么凑成积分?
在不引入坐标系的情况下能不能定义向量的方向？
与1相邻的实数存在吗？
复数是否包含实数？
如何证明每一个有穷的偏序都可以延拓成一个线序？
如何证明两个有理数平方和不能为 7？
不可列个数的集合交集并集怎么定义？
有哪些不易察觉的错误证明？
质数集P与自然数集N等势吗?