computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 自然数の乗法 乗法 を と帰納的に定義します。乗法の演算子を省略して を と書くことができるものとします。乗法は加法に優先するとしてかっこを省略することができるものとします。 のとき となるので、帰納法により (M1) 任意の に対して が成り立ちます。 のとき となるので、帰納法により (M2) 任意の に対して が成り立ちます。(M2)と により (M3) 任意の に対して となり は乗法の単位元となります。 のとき となるので、帰納法により (M4) 任意の に対して が成り立ちます。 のとき となるので、帰納法により (M5) 任意の に対して が成り立ちます。(M4)、(M5)より … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F12%2F27%2F165845" title="エレファントな整数論(5) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://m.media-amazon.com/images/I/51UjYbXqIzL.jpg Hatena Blog https://hatena.blog 2020-12-27 16:58:45 rich https://computeralgebra.hatenablog.com/entry/2020/12/27/165845 1.0 100%