[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
557(2): 01/24(金)03:50 ID:knZwyXgJ(1) AAS
>>553
> いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう(ZFC内ではね)
それ、論点先取
問われてるのは、まさにある集合の濃度を持つかどうかだから
> そうすると、その濃度から決まる 順序数の上限が存在することが言えるだろう
> それは、任意集合Aの冪集合の濃度を超えない
> つまり、任意集合Aの冪集合の濃度によって押えられる
省2
558(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/24(金)07:59 ID:U1RMCmJs(1/3) AAS
>>557
> 逆に上限がない場合、それは集合でない、と言えればいいんじゃね?
同意です
その筋は、ツォルンの補題の証明に書いてあった
『この列は本当に長い、添え字の範囲は単なる自然数ではなく、全ての順序数を動く。実は P と比較しても長すぎる。順序数の全体は真クラスを成すほど大きすぎて、普通の集合より大きくなる。そして、この長さにより集合 P の元を使い尽くすことで矛盾を得る。』
とか。(まだ、分ってないので、ツッコミなしね)
(参考)
省29
583(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/25(土)09:00 ID:vKwDmbNO(2/11) AAS
>>580
うーん
(引用開始)
>>557 ID:knZwyXgJ さん
>>553
> いま Jechの証明 の任意集合Aが、ある集合の濃度を持つとしよう(ZFC内ではね)
それ、論点先取
省35
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.034s