>>313
ペアノ算術では足し算によって掛け算は定義されていますね