それだけじゃ定義が足りなくね？それだと乗法も定義を満たしてしまうよ。
自分が聞いたのは確か
suc(a)が自然数aの次の自然数だとして
suc(a + b)=suc(a) + b = a + suc(b)
だったと思う。数学専門じゃないので自信はないが。
Permalink | 記事への反応(0) | 23:00
ツイートシェア
定義できないわけないだろ。 自然数の集合Nについて、+はN→Nの写像で、可換かつ結合法則が成り立つ演算 で終わり。具体的な自然数の表記については1+1=2を2の定義として与えてそっ...
それだけじゃ定義が足りなくね？それだと乗法も定義を満たしてしまうよ。 自分が聞いたのは確か suc(a)が自然数aの次の自然数だとして suc(a + b)=suc(a) + b = a + suc(b) だったと思う。数学専...
7
