現在２０２２年４月３日１８時５５分である。（この投稿は、ほぼ１５９３文字）
麻友「『０から始める数学』？」
私「先月の麻友さんの誕生日の次の日、『０から始める数学』の中で、書き換えたいと思っていた部分の修正案を、書いていた。その後、ブルバキになだれ込んだから、忘れていたが、こういうものだった。自然数の掛け算の定義だ」
現在２０２２年３月２７日２１時０１分である。
麻友「数学の話、止めたかなと思っていたのに、やっぱり続けるわね」
私「ちょっと、前に話したことで、補っておきたかったことが、あるんだ」
若菜「どの話ですか？」
私「自然数の掛け算の定義なんだ。これを、変えようと思う。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
定義 ３７ 自然数の乗法 （定義３５改）
とするとき、
を次のように定義する。
つまり、 の３つの
を、
の
で、置き換えたんだ。
代入したと言ってもよい。
定義 ３７ 終わり
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
と、以前、定義したんだった」
麻友「あまり、覚えてないのよね。良く分からなかったし」
私「うん、分かりにくかった」
若菜「自分でも、分かりにくい定義したんですか？」
私「見返してみて、もっと良くできたな、と思うこともある」
結弦「どうするというの？」
私「掛けられる数が、掛ける数の、個数だけあるというのだから、掛ける数の個数を、上に書いて、そのひとつひとつの に、代入するというように、上下を逆にした方が、分かりやすいんじゃないかと、思ったんだ」
定義 ３９ 自然数の乗法 （定義３５，３７改）
とするとき、
を次のように定義する。
つまり、 で、
が、
個だから、
の３つの
を、
の
で、置き換えたんだ。
代入したと言ってもよい。
定義 ３９ 終わり
ここまで、３月２７日に記述。
取り敢えず、終了。
現在２０２２年４月３日１９時４０分である。おしまい。
