如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？怎么建立复数与实数的一一对应？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何证明所谓 是一个闭集？
数学大牛是怎么看待悖论和无穷的？
模糊层次分析法的三角模糊值含意？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
所有正方形的数量与所有长方形的数量相等吗？
A是不可列集合，B是将A分割成两个不可列集合的实数的集合，证明B非空且为开集？
ZFC等公理集合论可以回答「几个苹果是否构成个集合」吗？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
S={x|x∉x}，因为不存在x满足x∉x，所以S为空集，还是{Ø}?数理逻辑中集合论、模型论、证明论、可计算性理论这四大领域的内在理论联系是什么？
为什么集合的本身还可以是一个集合的元素？
为什么数学上证明必然正难则反易——补集思想，原理出处？
收敛的有理系数幂级数个数可数么？
如何证明（0，1）不是可数集？
没有基的线性空间，是否可以构造，如何构造？
为什么集合的本身还可以是一个集合的元素？
如何直观地理解群论？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
为什么集合的本身还可以是一个集合的元素？
能否求出n次对称群中置换的最大阶？
为什么集合的本身还可以是一个集合的元素？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
环中任何一个非空子集都可以生成理想吗？
自然数和非负整数有什么区别？
如何证明空集不是任意集合的子集？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
如何证明这个关于良序集的命题？
请问如何把所有自然数均分成三类？
模糊层次分析法的三角模糊值含意？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
以数学史的观点来看，集合论是如何成为数学基础的？
不可列个数的集合交集并集怎么定义？
数学大牛是怎么看待悖论和无穷的？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
交换环的子环是否一定是交换环？
复数是否包含实数？
HoTT为什么不比集合论弱?