为什么构造 $x+1$ 会在第一个证明中产生矛盾？

适用条件

• 证明假设 $\mathbb{N}$ 的数量是有限的。
• 在此假设下，$x$ 被定义为最后一个自然数。
• 使用的算术性质是：如果 $x \in \mathbb{N}$，则 $x+1 \in \mathbb{N}$ 且 $x+1 > x$。

理解与推导

1. 假设 $\mathbb{N}$ 的数量是有限的，并让 $x$ 成为最后一个自然数。
2. 构造后继数 $x+1$。
3. 断言 $x+1 \in \mathbb{N}$，因为给自然数加 1 会产生另一个自然数。
4. 观察到 $x+1 > x$，因为加 1 会增加数值。
5. 识别矛盾：$x+1$ 是大于 $x$ 的自然数，这违反了 $x$ 是最后一个自然数的假设。
6. 得出初始有限性假设是错误的结论。

例子

演讲者解释说，如果你取一个自然数并加一，你会得到一个更大的自然数。书写的行显示“$x+1 \in \mathbb{N}$”和“$x+1 > x$”，这与之前的陈述“让 x 成为最后的 $\mathbb{N}$”相矛盾。

容易误解的地方

• 认为 $x+1$ 可能不是自然数。
• 认为矛盾源于 $x$ 的定义，而不是自然数的性质。

观看对应讲解

继续追问

• 视频如何证明有无穷多个自然数？
• 在这个视频中 PBC 是什么意思？
• 为什么主讲人从 $6\times 8$ 和 $2\times 4$ 这样的例子转向代数证明？