你想弄懂什么？

主讲人从数值例子转向代数证明，是因为检查像 $6\times8=48$ 和 $2\times4=8$ 这样的特定情况只能验证这些特定对的陈述。为了证明*任何*两个偶数之积为偶数的普遍陈述，需要一个一般的代数论证来覆盖所有可能的偶数。

适用条件：目标是证明关于所有偶数的普遍陈述。；数值例子仅用于建立直觉。；代数对于一般证明是必要的。

主讲人从数值例子转向代数证明，是因为检查像 $6\times8=48$ 和 $2\times4=8$ 这样的特定情况只能验证这些特定对的陈述。为了证明*任何*两个偶数之积为偶数的普遍陈述，需要一个一般的代数论证来覆盖所有可能的偶数。

适用条件：目标是证明关于所有偶数的普遍陈述。；数值例子仅用于建立直觉。；代数对于一般证明是必要的。

构造 $x+1$ 会产生矛盾，因为证明最初假设 $x$ 是最后一个自然数。然而，通过将 1 加到 $x$ 上，我们得到 $x+1$，它仍然是一个自然数，并且严格大于 $x$。

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

构造 $x+1$ 会产生矛盾，因为证明最初假设 $x$ 是最后一个自然数。然而，通过将 1 加到 $x$ 上，我们得到 $x+1$，它仍然是一个自然数，并且严格大于 $x$。

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