あれ、0って自然数だったっけ?というところでつまずいた。/ 提示されたペアノの公理だけでは、逆元と乗算がパースできないよね。匿名回答3号さんは「環の公理」を導入して証明しているのか。

spacefrontier のブックマーク 2014/09/18 20:48

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/226736493/comment/spacefrontier" data-user-id="spacefrontier" data-entry-url="https://b.hatena.ne.jp/entry/s/q.hatena.ne.jp/1410889408" data-original-href="https://q.hatena.ne.jp/1410889408" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fq.hatena.ne.jp%2F1410889408" data-user-icon="/users/spacefrontier/profile.png">-1×-1 = 1を証明してください。 例とか例えではなく、以下の「ペアノの公理による1+1=2の証明」と同じくらい厳密な証明をお願いいたします。…</a><br><p style="clear: left">あれ、0って自然数だったっけ?というところでつまずいた。/ 提示されたペアノの公理だけでは、逆元と乗算がパースできないよね。匿名回答3号さんは「環の公理」を導入して証明しているのか。</p><a class="datetime" href="https://b.hatena.ne.jp/spacefrontier/20140918#bookmark-226736493"><span class="datetime-body">2014/09/18 20:48</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークは合計