你想弄懂什么？

视频使用反证法证明有无穷多个自然数。它假设相反的情况——即自然数的数量是有限的——然后表明这个假设导致了逻辑矛盾。

适用条件：证明方法是反证法（PBC）。；讨论的集合是 $\mathbb{N}$，即自然数。；使用的算术事实是，给自然数加 1 会产生一个更大的自然数。

视频使用反证法证明有无穷多个自然数。它假设相反的情况——即自然数的数量是有限的——然后表明这个假设导致了逻辑矛盾。

适用条件：证明方法是反证法（PBC）。；讨论的集合是 $\mathbb{N}$，即自然数。；使用的算术事实是，给自然数加 1 会产生一个更大的自然数。