それだけじゃ定義が足りなくね？それだと乗法も定義を満たしてしまうよ。 自分が聞いたのは確か suc(a)が自然数aの次の自然数だとして suc(a + b)=suc(a) + b = a + suc(b) だったと思う。数学専...