computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ いったんできるだけ を使わないように書き直します。これが意味があるかどうかはもう少し進めてみないとわかりません。 自然数の帰納的表記 を集合、、 とし、 は (N1)「 が 、 を満たすならば 」であるとします。 となるので が を満たすとすると、 の順序を と定義すると全順序集合になります。後で自然数の定義をしようとしているので、ここで が出てくるのは良くないのですが、何かの記法がないと書くことができません。そこで に を 回以上有限回適用したもの全体の集合を と表すことにします。この書き方は自然数の性質を使っているわけではないので許すことにします。 は(N2) (N2-1) (N2-2) … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F12%2F22%2F003108" title="エレファントな整数論(3) - 非専門的シンギュラリティー研究所" 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-22 00:31:08 rich https://computeralgebra.hatenablog.com/entry/2020/12/22/003108 1.0 100%