如何理解（证明）不存在与自己的真子集等势的自然数? 第1页
1
lljpcz 网友的相关建议:
下面对 归纳，证明对任意自然数 和其真子集 ，不存在 到 的双射。
时，命题自动成立。
若命题对 成立而对 不成立，考虑 以及 为 到 的双射。
若 ，则 是 到其真子集 的双射，这与归纳假设矛盾。
若 ，令 ，考虑
容易验证 是 到其真子集 的双射，这与归纳假设矛盾。
1
相关话题
为什么规定空集是任何集合的子集，这样在数学上有什么意义？如何证明（0，1）不是可数集？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么数学教材里，学生首先学习的就是算术，却不学习作为基础的集合与逻辑？
既然一条直线的面积是零，那么一个由无数条线组成的几何图形为什么会有面积？
整数和偶数真的是「一样多」的吗？（我知道康托尔那套，但这个表述真的正确吗？）？
HoTT为什么不比集合论弱?
如何证明阿列夫零上阿列夫零等势于二上阿列夫零？
下一个讨论
复合映射的符号f°g是怎么来的？
相关的话题
请问这个集合不是零测集有什么具体例子吗？如何证明这个关于良序集的命题？
集合相等的定义与空集的定义的矛盾如何理解？
为什么集合这个数学术语在麻将中没有被说明？
陶哲轩为什么用一个新公理代替了旧的幂集公理？
如何让一个 5 岁小孩听懂什么是选择公理？
是否任一无穷集合都能分成两个等势的不交集合之并？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
为什么不可数个互不相同的集合之并集可以是可数集?
为什么集合这个数学术语在麻将中没有被说明？
“等价”就是重言等值，“推出”就是重言蕴涵吗？
等词是否可以用属于来定义？
不可列个数的集合交集并集怎么定义？
是否任一无穷集合都能分成两个等势的不交集合之并？
我想证明自然数有穷可行吗？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
复数是否包含实数？
在集合的势的意义下，是否存在比实数集更大的全序集？
环中任何一个非空子集都可以生成理想吗？
模糊层次分析法的三角模糊值含意？
质数集P与自然数集N等势吗?
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
σ-代数为什么叫代数？它有代数结构吗？
如何理解（证明）不存在与自己的真子集等势的自然数?
若 f∘f∘f＝f，则 f∘f 是恒等映射吗？
为什么会有数学家反对对无穷集合使用排中律？
所有集合的势都可比较大小吗？为什么？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
等词是否可以用属于来定义？
N为自然数集，（N×N）×（N×N）是不是可数集？如果是，它到N的双射函数是什么？如果不是，它和什么等势？