>>451
>自然数を先に定義したり、それを土台に拡張したりするようなものではない。
結局、君の話は「算数では使えない」ということだな

>具体的な計算に扱いやすい公式を予め揃えて証明しておくことは、
>計算をしたい者がすべき仕事であって、定義の要件ではない。
「かけ算の定義」が出来ておらずに「公式を予め揃える」ことなど本末転倒であり、それが
できるはずがないな
君のいう「かけ算の定義」は「かけ算の定義」とは言えないものだったと言うことだ
まあ、君が無理数や分数の乗法を説明できないことは予想通りだったよｗ