集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
这个猜实数的游戏有没有必胜策略?如何估计交集测度大小？
有理数集如何拓展到实数集的？
不可列个数的集合交集并集怎么定义？
有理数集和无理数集哪个大，为什么？
集合相等的定义与空集的定义的矛盾如何理解？
有哪些不易察觉的错误证明？
如何证明每一个有穷的偏序都可以延拓成一个线序？
质数集P与自然数集N等势吗?
有限覆盖定理和实数连续性有什么关系？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？狄利克雷函数（Dirichlet Function）有什么用处？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
等词是否可以用属于来定义？
有理数集和无理数集哪个大，为什么？
零测集的子集是否可测？
如何证明空集不是任意集合的子集？
可测集多还是不可测集多？ 即一维，直到n维的欧氏空间中，可测集类和不可测集类是否等势？
如何证明这个关于良序集的命题？
为什么度量空间中聚点等同于极限点？
这个猜实数的游戏有没有必胜策略?
等词是否可以用属于来定义？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
集合相等的定义与空集的定义的矛盾如何理解？
数学是不是必然会存在不确定领域？
环中任何一个非空子集都可以生成理想吗？
数学中为什么要定义各种空间？
康托尔著名的对角线证明？
这个不可测集的外侧度是多少？
如何估计如下的无穷积分不等式？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
是否任一无穷集合都能分成两个等势的不交集合之并？
如何估计交集测度大小？
如何证明所谓 是一个闭集？
有哪些不易察觉的错误证明？
HoTT为什么不比集合论弱?
HoTT为什么不比集合论弱?
为什么度量空间中聚点等同于极限点？