如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
为什么会有数学家反对对无穷集合使用排中律？自然数和非负整数有什么区别？
如何直观地理解群论？
所有正方形的数量与所有长方形的数量相等吗？
已知映射f：N→N（其中N是正整数集），问以下三条是否可以相容？
在集合的势的意义下，是否存在比实数集更大的全序集？
有哪些不易察觉的错误证明？
所有集合的势都可比较大小吗？为什么？
环中任何一个非空子集都可以生成理想吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
为什么规定空集是任何集合的子集，这样在数学上有什么意义？什么是实数？
自然数0 的现实意义是什么？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
环中任何一个非空子集都可以生成理想吗？
设点集B满足，对任给ε>0，都存在可测集A，使得m*(AΔB)<ε，证明B是可测集，还有什么解法？
小数点后可以有无数位，为什么两个物体仍可以相互接触？
区间 [0, 1] 内的实数，为什么我证明可以数？
为什么度量空间中聚点等同于极限点？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
不可列个数的集合交集并集怎么定义？
σ-代数为什么叫代数？它有代数结构吗？
以数学史的观点来看，集合论是如何成为数学基础的？
集合相等的定义与空集的定义的矛盾如何理解？
集合相等的定义与空集的定义的矛盾如何理解？
如何证明（0，1）不是可数集？
如何让一个 5 岁小孩听懂什么是选择公理？
有哪些不易察觉的错误证明？
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
偏序集与完备格？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何把微信群/QQ群构造成一个阿贝尔群？
如何证明（0，1）不是可数集？
集合相等的定义与空集的定义的矛盾如何理解？
数学大牛是怎么看待悖论和无穷的？
在集合的势的意义下，是否存在比实数集更大的全序集？
桌游卡牌上的描述，“当（该卡牌）两侧角色不为女性时”和“两侧不为女性角色时”的意思相同吗？
收敛的有理系数幂级数个数可数么？