computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 整列可能定理 『公理的集合論への一歩 無限についてのおはなし (数学セミナーライブラリー)』から少し追加します。定理 1.6 (超限帰納法) 整列集合 と の元 についての命題 が与えられているとする。すべての に対して、「どんな に対しても が成り立てば、 が成り立つ」という条件が成り立っているとする。このとき、すべての に対して、 が成り立つ。 [証明] が成り立たない が存在すると仮定します。 すると が整列集合であることから が成り立たない最小の が存在します。 すると定理の仮定から が成り立つことになり、 が成り立たないことに矛盾します。 よってすべての に対して、 が成り立ちます。定義 整列集合… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F08%2F31%2F220244" 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._SL500_.jpg Hatena Blog https://hatena.blog 2026-08-31 22:02:44 rich https://computeralgebra.hatenablog.com/entry/2026/08/31/220244 1.0 100%