16/06/03 22:57:23.93 bBIh2VLt.net
>>330 つづき
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
（ペアノ算術から転送）
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
（１～４は省略）
・ 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。
16/06/03 22:57:23.93 bBIh2VLt.net
>>330 つづき
URLﾘﾝｸ(ja.wikipedia.org)
ペアノの公理
（ペアノ算術から転送）
定義
ペアノの公理は以下の様に定義される。
自然数は次の5条件を満たす。
（１～４は省略）
・ 0 がある性質を満たし、a がある性質を満たせばその後者 suc(a) もその性質を満たすとき、すべての自然数はその性質を満たす。
5番目の公理は、数学的帰納法の原理である。