[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
上
下
前
次
1-
新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
156
:
現代数学の系譜 雑談 ◆yH25M02vWFhP
01/12(日)09:54
ID:gsEji7DN(6/21)
AA×
>>154
[240|
320
|
480
|
600
|
100%
|
JPG
|
べ
|
レス栞
|
レス消
]
156: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/12(日) 09:54:09.73 ID:gsEji7DN >>154 訂正 証明 M を ZFC+GCH の可算推移的モデルとする.以下を満たす関数 p 全体がなす集合を P とする. 以下略 ↓ 命題 選択公理 ⇒ 可算和定理 証明 { Xn }n=0∞ を可算集合の族とする 略す 定理 「 R=∪n=0∞Xn , |Xn|=アレフ0 とは書けない」は ZF で証明できない. 証明 M を ZFC+GCH の可算推移的モデルとする.以下を満たす関数 p 全体がなす集合を P とする. 以下略 まあ、壱大整域さんの原文サイトを見て下さい ;p) http://rio2016.5ch.net/test/read.cgi/math/1735693028/156
訂正 証明 を の可算推移的モデルとする以下を満たす関数 全体がなす集合を とする 以下略 命題 選択公理 可算和定理 証明 を可算集合の族とする 略す 定理 アレフ とは書けないは で証明できない 証明 を の可算推移的モデルとする以下を満たす関数 全体がなす集合を とする 以下略 まあ壱大整域さんの原文サイトを見て下さい
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 846 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
ぬこの手
ぬこTOP
0.027s