>>876
「小学校の掛け算の定義」って何オリジナルのオナニー概念を持ち出してるの?
自然数同士の乗法は可換なのが公理から導ける(定義に等しい)なんだけど