集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？怎么得到这个不等式?
什么时候积分运算和级数求和可以调换顺序？
什么时候积分运算和级数求和可以调换顺序？
你们会觉得测度论反直觉吗？
请问开集和闭集如何理解？
如何理解（证明）不存在与自己的真子集等势的自然数?
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
这个不可测集的外侧度是多少？
所有集合的势都可比较大小吗？为什么？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
为什么规定空集是任何集合的子集，这样在数学上有什么意义？集合相等的定义与空集的定义的矛盾如何理解？
为什么矩形面积等于长乘宽？
若 a=0.248163264128256...，请问 a 是否为有理数？理由是什么？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
如何证明这个收敛性问题？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
零测集的子集是否可测？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
没有基的线性空间，是否可以构造，如何构造？
如何证明下面的集合论问题？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
零测集的子集是否可测？
如何证明这个实分析的不等式？
如何证明每一个有穷的偏序都可以延拓成一个线序？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
勒贝格积分、数学分析、实分析 、泛函分析、 测度论 之间的关联以及先后学习次序是怎样的?
请问该如何证明？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
所有集合的势都可比较大小吗？为什么？
有哪些不易察觉的错误证明？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
请问这个集合不是零测集有什么具体例子吗？
如何证明可测函数被多项式逼近？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？