自然数と再帰

自然数の再帰的定義
ペアノの公理
0 は 自然数
n が自然数なら n' ( n + 1 ) も自然数
自然数は上記の形で得られるもののみ
自然数の計算は ' ( +1 ) から帰納法で計算される ( sample-006.c )
足し算
n + 0 = n
n + m' = (n+m)'
かけ算
n * 0 = 0
n * m' = (n * m) + n
羃乗
n^0 = 0
n^(m') = (n^m) * n