自然数

ペアノの公理
自然数を定義する公理
0 は自然数である
n が自然数なら n+1 も自然数である
上記の二つ以外に自然数はない
Mathematica でペアノの公理の自然数を考える
自然数
0 は 0 で表現
n + 1 は s[n] で表現
自然数の和
padd[0,x_] := x
padd[s[x_],y_] := s[padd[x,y]]
これを繰り返すと、分数まで表現できる