computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 整列可能定理(4) いったん順序数に対して集合の記法が使えるかどうかを ChatGPT で調べてみます。 順序数に対して、集合の記法を使っても良いですか？ と入力すると以下の回答が返ってきました。 はい。順序数（ordinal number）は、集合として表してよいです。むしろ、現代的な集合論では通常、順序数を集合として定義します。代表的なのが フォン・ノイマンの順序数です。 1. 順序数を集合として定義する 順序数 は、つまり、 より小さいすべての順序数の集合として表します。したがって、となります。たとえばなので、です。そして重要なのは、とできることです。 2. したがって集合の記法がそのま… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F08%2F25%2F205919" title="証明路開発支援システム(25) - 非専門的シンギュラリティー研究所" 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-25 20:59:19 rich https://computeralgebra.hatenablog.com/entry/2026/08/25/205919 1.0 100%