构造 x+1 会产生矛盾,因为证明最初假设 x 是最后一个自然数。然而,通过将 1 加到 x 上,我们得到 x+1,它仍然是一个自然数,并且严格大于 x。
适用条件:证明假设 N 的数量是有限的。;在此假设下,x 被定义为最后一个自然数。;使用的算术性质是:如果 x∈N,则 x+1∈N 且 x+1>x。
构造 x+1 会产生矛盾,因为证明最初假设 x 是最后一个自然数。然而,通过将 1 加到 x 上,我们得到 x+1,它仍然是一个自然数,并且严格大于 x。
适用条件:证明假设 N 的数量是有限的。;在此假设下,x 被定义为最后一个自然数。;使用的算术性质是:如果 x∈N,则 x+1∈N 且 x+1>x。