集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
数学中为什么要定义各种空间？如何证明不存在集合T使对任意集合F有T中的元素与F等势?
在不引入坐标系的情况下能不能定义向量的方向？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
符号测度的Lebesgue分解与泛函里面的正交分解有什么关系么？
复变函数、实分析、复分析、数学分析是什么关系？
如何证明两个有理数平方和不能为 7？
你们会觉得测度论反直觉吗？
这个极限怎么凑成积分?
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
是否任一无穷集合都能分成两个等势的不交集合之并？陶哲轩为什么用一个新公理代替了旧的幂集公理？
请问开集和闭集如何理解？
如何让一个 5 岁小孩听懂什么是选择公理？
如何证明可测函数被多项式逼近？
如何证明空集不是任意集合的子集？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
这个猜实数的游戏有没有必胜策略?
请问这个集合不是零测集有什么具体例子吗？
是否存在不可数个实数，其中任意有限多个在有理数上线性无关？
区间 [0, 1] 内的实数，为什么我证明可以数？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
区间 [0, 1] 内的实数，为什么我证明可以数？
怎么证明这个积分不等式？
两点之间线段最短是公理吗？
集合相等的定义与空集的定义的矛盾如何理解？
质数集P与自然数集N等势吗?
如何证明这个关于良序集的命题？
区间 [0, 1] 内的实数，为什么我证明可以数？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
除了Weierstrass函数，还有哪些处处连续处处不可导的实变函数的具体例子？
集合相等的定义与空集的定义的矛盾如何理解？
不可列个数的集合交集并集怎么定义？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
质数集P与自然数集N等势吗?
如何证明所谓 是一个闭集？