computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 自然数の帰納的表記 を集合、、 とし、 は (条件1)「 が 、 を満たす集合ならば である」を満たすとします。このとき をおくと は上の条件を満たすので となります。よって となります。さらに は (条件2) を満たすとします。 は自然数全体を表す集合と考えられます。これは自然数の定義だと考えると が出てくるのはおかしいですが、ここでは数学的帰納法に関する記法を考えることが目的なので今はこのまま議論を進めます。この件は後で検討します。 の順序を と定義すると全順序集合になります。このとき (条件3) とすると は最小元を持ちます。[証明] とし とおくと が存在し なので よって(条件1)よ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F12%2F20%2F133925" title="エレファントな整数論(2) - 非専門的シンギュラリティー研究所" 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-20 13:39:25 rich https://computeralgebra.hatenablog.com/entry/2020/12/20/133925 1.0 100%