集合相等的定义与空集的定义的矛盾如何理解？ 第1页
1
inversioner 网友的相关建议:
题主的问题在于对空集理解是不对的。
“没有元素”这个说法其实在定义∅的空集公理中是不存在的。空集公理是说，存在一个集合∅，使得对任意a，都有a∉∅。并不需要“没有元素”这种容易造成误解的说法。
现在许多体系已经不把它当成公理了，而是别的一些公理的推论。这里是为了方便。
利用这个公理和集合相等的定义可以证明题主的疑问并不存在。
1
相关话题
数学分析中的两个反例是否有更深的背景？怎么求解这个极限问题？
怎么证明这个积分不等式？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明Osgood定理？
如何证明（0，1）不是可数集？
为什么函数的连续点构成可测集？
是否任一无穷集合都能分成两个等势的不交集合之并？
是否任一无穷集合都能分成两个等势的不交集合之并？
这个猜实数的游戏有没有必胜策略?
下一个讨论
如何证明以下关于ζ(2n)的式子？
相关的话题
如何证明空集不是任意集合的子集？如何证明可测函数被多项式逼近？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
是否任一无穷集合都能分成两个等势的不交集合之并？
集合相等的定义与空集的定义的矛盾如何理解？
为什么会有数学家反对对无穷集合使用排中律？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
集合相等的定义与空集的定义的矛盾如何理解？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
不可列个数的集合交集并集怎么定义？
集合相等的定义与空集的定义的矛盾如何理解？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
有没有目前不知道是否收敛的级数?
如何证明这个实分析的不等式？
不定积分∫dx/(2 + sinx)在x = π+2kπ处，为何会这样？这是不定积分的某种“特性”吗？
在集合的势的意义下，是否存在比实数集更大的全序集？
你们会觉得测度论反直觉吗？
怎么求解这个极限问题？
如何证明Osgood定理？
不可列个数的集合交集并集怎么定义？
集合相等的定义与空集的定义的矛盾如何理解？
HoTT为什么不比集合论弱?
矩阵的严格定义是什么？行向量与列向量通过矩阵来定义真的合理吗？
为什么不可数个互不相同的集合之并集可以是可数集?
如何证明实数集的不可数子集含有它自己的不可数个聚点？
正整数和正整数中的偶数哪个多（如何证明）？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？