[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
604
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)19:24 ID:vKwDmbNO(9/11) AAS
”<公開処刑 続く>
(『 ZF上で実数は どこまで定義可能なのか?』に向けて と
  (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”

>>598 補足
(再掲)>>504より
en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
省37
605: 01/25(土)19:57 ID:Gj5NB1tI(9/12) AAS
>>604
>3)sup{α∣aα is defined}の部分は、集合Aの濃度から決まる上限 Aの冪集合P(A)の濃度を超えないので
> 証明が終わる■
ゼロ点
君supって何か分かってる?
606
(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)20:04 ID:vKwDmbNO(10/11) AAS
>>604 補足
>3)sup{α∣aα is defined}の部分は、集合Aの濃度から決まる上限 Aの冪集合P(A)の濃度を超えないので
 証明が終わる■

1)集合の濃度については、下記のja.wikipediaの通り
2)つまり、集合の濃度の割り当てには
 ノイマン流(選択公理を仮定する)と
 スコットのトリック(選択公理なしで、正則性公理を使う)
省26
634
(1): 01/26(日)14:47 ID:b1A8rVdb(15/24) AAS
AA省
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.039s