- 167 名前：現代数学の系譜 雑談 [2025/01/12(日) 09:54:09.73 ID:gsEji7DN.net]
- >>154 訂正
証明 M を ZFC+GCH の可算推移的モデルとする．以下を満たす関数 p 全体がなす集合を P とする．
以下略
↓
命題 選択公理 ⇒ 可算和定理
証明 { Xn }n=0∞ を可算集合の族とする
略す
定理 「 R=∪n=0∞Xn ， |Xn|=アレフ0 とは書けない」は ZF で証明できない．
証明 M を ZFC+GCH の可算推移的モデルとする．以下を満たす関数 p 全体がなす集合を P とする．
以下略
まあ、壱大整域さんの原文サイトを見て下さい ；ｐ）
