自然数：
自然数 1 が存在する
任意の自然数 a に対してその後者 S(a)が存在する
1 はどの自然数の後者でもにゃい
自然数 a,b に対して S(a)=S(b) にゃら a=b
数学的帰納法が使える