集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
陶哲轩为什么用一个新公理代替了旧的幂集公理？如何估计交集测度大小？
选择公理有哪些反直觉的应用？
数学分析中的两个反例是否有更深的背景？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
正整数和正整数中的偶数哪个多（如何证明）？
我想证明自然数有穷可行吗？
“不能被定义”是一种定义吗？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
环中任何一个非空子集都可以生成理想吗？复变函数、实分析、复分析、数学分析是什么关系？
如何证明Osgood定理？
有理数集和无理数集哪个大，为什么？
没有基的线性空间，是否可以构造，如何构造？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
总会有被定义的感觉怎么办?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
等词是否可以用属于来定义？
复变函数、实分析、复分析、数学分析是什么关系？
如何证明R1可测函数覆盖的区域是可测的？
小学数学为什么不从集合论学起？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
在集合的势的意义下，是否存在比实数集更大的全序集？
康托尔著名的对角线证明？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
怎么用下面的不等式刻画凸性？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
不可列个数的集合交集并集怎么定义？
学随机分析需要把实分析和泛函学的很深吗?
如何证明不存在集合T使对任意集合F有T中的元素与F等势?
“可分度量空间”的名字是怎么来的？
如何评价Stein的实分析以及复分析翻译版本？
概率论和实变函数（测度论）有什么联系？
集合相等的定义与空集的定义的矛盾如何理解？
在集合的势的意义下，是否存在比实数集更大的全序集？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
这个猜实数的游戏有没有必胜策略?