わりい、間違えた。１．で掛算記号を足算記号で書いてしまった。以下のように訂正する。

m, nを自然数とする。nの次の自然数をn'とする。乗法は以下のように帰納的に定義される。
１．m×0=m
２．m×n'=m×n+m