[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
422(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)11:09 ID:RlRmaz0L(6/9) AAS
>>404 戻る
(引用開始)
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
Proof from axiom of choice
Let the set we are trying to well-order be A,
(in the usual well-order of the ordinals) is a well-order of A as desired, of order type sup{α∣aα is defined}.
省30
464(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/19(日)20:57 ID:RlRmaz0L(9/9) AAS
>>441
> Jechの証明のfから上記の性質を持つfに改造できればいいってことで
> 多分いろいろやり方はありそうだけ
> (たとえばfが半順序になるところまでなんとか持って行って
> ツォルンの補題を経由して証明するとか)
> 一番簡単なのはJechの証明の方法でとにかく整列しちゃうってことですかね
> ということで意図が分かると、
省36
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.035s