如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？复数是否包含实数？
小学数学为什么不从集合论学起？
自然数和非负整数有什么区别？
正整数和正整数中的偶数哪个多（如何证明）？
n*n的棋盘填上1，2，...，n^2，使任意相邻（有公共边）格子里的数字之和不大于S，求S最小值?
自然数和非负整数有什么区别？
怎么建立复数与实数的一一对应？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
为什么集合这个数学术语在麻将中没有被说明？如何理解（证明）不存在与自己的真子集等势的自然数?
复数是否包含实数？
集合相等的定义与空集的定义的矛盾如何理解？
请问这个关于全排列的图论结论如何证明？
HoTT为什么不比集合论弱?
我想证明自然数有穷可行吗？
不可列个数的集合交集并集怎么定义？
为什么度量空间中聚点等同于极限点？
如何证明紧致的度量空间都是第二可数空间？
如何证明所谓 是一个闭集？
如何理解区间 [0, 1] 内有理数集合的长度为 0？
如何把微信群/QQ群构造成一个阿贝尔群？
如何解决这个图的特征值问题？
如何证明（0，1）不是可数集？
环中任何一个非空子集都可以生成理想吗？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
任取两个大于 2 的整数，其互质的概率是多少？
在集合论里，对于二元公式φ，如何证明(任意X)(存在{x∈X：φ(x,X)})？
如何证明每一个有穷的偏序都可以延拓成一个线序？
有哪些不易察觉的错误证明？
如何证明一个实数的所有代表元（有理数Cauchy列）组成的集合不可数？
收敛的有理系数幂级数个数可数么？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
数学大牛是怎么看待悖论和无穷的？
离散数学求帮忙？
集合相等的定义与空集的定义的矛盾如何理解？