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

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

160(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)10:14 ID:gsEji7DN(7/21) AAS
>>154 追加

見つけてしまった ；ｐ）

下記
”The union of any countable family of countable sets is countable (this requires countable choice but not the full axiom of choice).”
だってさｗ

そうすると
命題「可算個の可算集合の和集合は可算集合」を可算和定理という．可算和定理は選択公理が無ければ証明できない．
省13

---

162: 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/12(日)10:22 ID:gsEji7DN(8/21) AAS
>>160 補足
>”The union of any countable family of countable sets is countable (this requires countable choice but not the full axiom of choice).”

”any”の意味が、任意有限 countable なのか、あるいは 可算無限までを含むのか？
文全体の趣旨からすると、後者に読めるが（countable choiceにおける ”countable”の意味と解すれば）
まあ、en.wikipediaの書き手が、どこまで意図したのかだが？
出典がないので、なんとも言えない・・ ；ｐ）

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 2.076s*