集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
这个不可测集的外侧度是多少？在不引入坐标系的情况下能不能定义向量的方向？
不可列个数的集合交集并集怎么定义？
是否任一无穷集合都能分成两个等势的不交集合之并？
在不引入坐标系的情况下能不能定义向量的方向？
如何评价Stein的实分析以及复分析翻译版本？
可以认为0到2之间的实数，是0到1之间的实数个数的两倍吗？
如何证明这个"推广的Riemann重排定理"？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？什么时候积分运算和级数求和可以调换顺序？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
怎么得到这个不等式?
为什么会有数学家反对对无穷集合使用排中律？
HoTT为什么不比集合论弱?
怎么用下面的不等式刻画凸性？
请问这个集合不是零测集有什么具体例子吗？
如何证明实数集的不可数子集含有它自己的不可数个聚点？
如何证明R1可测函数覆盖的区域是可测的？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
HoTT为什么不比集合论弱?
实数轴上还存在人类未知的数吗？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
有哪些不易察觉的错误证明？
如何证明所谓 是一个闭集？
等词是否可以用属于来定义？
收敛都是在某度量下而言的吗？依测度收敛是某度量下的收敛吗？
不可列个数的集合交集并集怎么定义？
为什么要公理化实数，而不是从自然数导出？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明这个实分析有关问题？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
是否任一无穷集合都能分成两个等势的不交集合之并？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
HoTT为什么不比集合论弱?
如何估计交集测度大小？
你们会觉得测度论反直觉吗？
学随机分析需要把实分析和泛函学的很深吗?