20/03/01 23:11:58 xeWQMKVb.net
>>957
自然数を0から始めたい場合は
>0 は自然数
>a が自然数なら a = a
>a, b が自然数で a = b なら b = a
>a, b, c が自然数で a = b, b = c なら a = c
>a = b で b が自然数なら a は自然数
>a が自然数なら a +1 は自然数
>a, b が自然数で a = b なら a +1 = b +1
*>a が自然数なら、a +1 と 0 は等しくない
>もし集合 K が、0 を含み かつ 自然数 x が K に含まれるなら x +1 が K に含まれる、という条件を満たすなら K は全ての自然数を含む
とすれば問題ない