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 は全ての自然数を含む
とすれば問題ない