如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？自然数0 的现实意义是什么？
为什么集合的本身还可以是一个集合的元素？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
偏序集与完备格？
已知一个函数在实数域内连续，并且为周期函数，如何证明它在实数域内一致连续？
“黎曼猜想在公元2030年之前（含2030年）被证明的概率大于等于60%”这个陈述是不是命题？
如何证明这个关于良序集的命题？
什么是实数？
质数集P与自然数集N等势吗?
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
模糊层次分析法的三角模糊值含意？
正整数和正整数中的偶数哪个多（如何证明）？
有界可测集测度一定有限吗，无界可测集合测度一定无限吗？反之如何？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
所有集合的势都可比较大小吗？为什么？
怎么建立复数与实数的一一对应？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
如何直观地理解群论？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
为什么集合的本身还可以是一个集合的元素？
不可列个数的集合交集并集怎么定义？
站在一个无穷大的围棋/五子棋盘上的任意格点上，能够看到的格点都放上黑棋，黑棋占格点比例多少？
为什么规定 0 的阶乘为 1？
如何让一个 5 岁小孩听懂什么是选择公理？
数学大牛是怎么看待悖论和无穷的？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
不可列个数的集合交集并集怎么定义？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
无穷个集合的交（或者并）运算总是成立的吗？为什么？
请问这个一阶逻辑等值式如何理解，请举一个现实的例子?
若两个正整数互质，如何证明它们的平方也互质？
我想证明自然数有穷可行吗？
不可列个数的集合交集并集怎么定义？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
范畴论中一个范畴里两个对象之间的态射的全体为什么要是一个集合？
什么是「集合的势」？「连续统假设」的历史和研究进展是怎样的？
为什么不可数个互不相同的集合之并集可以是可数集?
不可列个数的集合交集并集怎么定义？