>>22
こうでも問題ないよね。

１．m, nを自然数とし、suc()をカッコ内の次の数とする。乗法を以下のように定義する。
２．0×n=0
３．suc(m)×n=m×n+n

これを「n+n+n+…+n（m個のn）」と書くのは素人である点も同じｗ