原帖由 天宫公主 于 2007-8-15 20:20 发表
定理：所有的自然数都相等。

证明：
先证引理：令 x, y 为自然数。如果 max(x, y) = k, 则 x = y。

引理证明（强归纳法）：当 k = 1，命题显然：如果 max(x, y) = 1，则必然有 x=1 和 y=1；由自然数的唯 ...