computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ 証明路開発支援システム 整列可能定理(1) 整列可能定理について調べてみます。以下の本を参考にします。 公理的集合論への一歩 無限についてのおはなし (数学セミナーライブラリー) 新装改版 集合への30講 数学30講シリーズ 帰納的順序集合定理 ⇒ 整列可能定理 (証明の概要) 集合論入門 (ちくま学芸文庫) 選択公理 ⇒ 整列可能定理 集合と位相(増補新装版)(数学シリーズ) ツォルンの補題 ⇒ 整列可能定理 手を動かしてまなぶ 集合と位相 証明はない 新装版 集合とはなにか―はじめて学ぶ人のために (ブルーバックス) 証明はない ここでは『 公理的集合論への一歩 無限についてのおはなし (数学セミナーライブラリー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2026%2F08%2F14%2F012031" title="証明路開発支援システム(21) - 非専門的シンギュラリティー研究所" 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-14 01:20:31 rich https://computeralgebra.hatenablog.com/entry/2026/08/14/012031 1.0 100%