Inter-universal geometry と ABC予想 (応援スレ) 73 (730ﾚｽ)

Inter-universal geometry と ABC予想 (応援スレ) 73 http://rio2016.5ch.net/test/read.cgi/math/1753000052/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

503: １３２人目の素数さん [sage] 2025/08/11(月) 17:29:53.03 ID:MtMWibfm Well-ordering theorem Proof from axiom of choice The well-ordering theorem follows from the axiom of choice as follows.[9] Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.　 For every ordinal α, define an element aα that is in A by setting aα= f(A-{aξ|ξ<α}) if this complement A-{aξ|ξ<α} is nonempty, or leave aα undefined if it is. That is, aα is chosen from the set of elements of A that have not yet been assigned a place in the ordering (or undefined if the entirety of A has been successfully enumerated). Then the order < on A defined by aα<aβ if and only if α<β (in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α|aα is defined}. as desired ×好きなように（整列できる）←英語が読めないバカ 〇望み通り（整列順序である） http://rio2016.5ch.net/test/read.cgi/math/1753000052/503

506: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/08/11(月) 18:17:23.79 ID:f34iaqr/ >>503 誤爆かな？ >>504 >?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である． からその逆は言えないけどいいの？ (引用終り) 再度 >>502より スライドのP8より (引用開始) 到達不熊基数 略 Remark 到達不能基数の存在はグロタンディーク宇宙と同値である． ?Uがグロタンディーク宇宙ならば、|U|は到達不能基数である． ?到達不能基数ｋが存在するならば、|U| =ｋとなるグロタンディーク宇宙が存在する：Vｋがグロタンディーク宇宙になる． (引用終り) まあ、細かい疑問点は、薄葉 季路 先生に聞いてね （＾＾ http://rio2016.5ch.net/test/read.cgi/math/1753000052/506

576: １３２人目の素数さん [] 2025/08/12(火) 07:15:41.10 ID:r/id88M5 まあ、いかなる屁理屈を並べようと、実数の具体的整列順序を示せなかったのでオチコボレの負けは確定した。 よってオチコボレは英語が読めないバカということも確定した。>>503 http://rio2016.5ch.net/test/read.cgi/math/1753000052/576

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.023s