integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 定理解説 高木貞治博士の論文を読むシリーズ第二弾です。第一弾はintegers.hatenablog.comでした。今回は高木博士が50代後半の時に出版された論文Teiji Takagi, Zur Theorie der natürlichen Zahlen, Proceedings of the Imperial Academy of Japan, Vol. 7, (1931), 29-30.を読みます。極めて短い論文ですが、要約すると「自然数について、加法の存在性定理を導いてしまえば帰納法なしに結合法則および交換法則を証明できる」という内容だと思いました。もちろん、存在性定理の証明には帰納法の公理を… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2018%2F05%2F31%2F103245" title="高木貞治の論文&quot;Zur Theorie der natürlichen Zahlen&quot;を読む - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.blog.st-hatena.com/images/theme/og-image-1500.png Hatena Blog https://hatena.blog 2018-05-31 10:32:45 rich https://integers.hatenablog.com/entry/2018/05/31/103245 1.0 100%