[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

510(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/28(木)00:30 ID:QdpmOFrx(3/7) AAS
>>508-509
＞ 2.(Kazimierz Kuratowski) S has all properties which can be proved by mathematical induction beginning with the empty set and adding one new element at a time. (See below for the set-theoretical formulation of Kuratowski finiteness.)
＞Kuratowski finite means S lies in the set K(S), constructed as follows. Write M for the set of all subsets X of P(S) such that:
＞X contains the empty set;
＞For every set T in P(S), if X contains T then X also contains the union of T with any singleton.
＞Then K(S) may be defined as the intersection of M.

なるほど
省5

---

513(1): 2019/11/28(木)06:10 ID:rkIRfVWh(2/5) AAS
>>510
＞”Kuratowski finiteness”の定義では、
＞CやRやQやNのシングルトン
＞{C}や{R}や{Q}や{N} 達は
＞有限集合にはならんな！

こいつまた馬鹿な読み間違いしてるな
英語が読めないのか、それとも日本語でも読めないのか
省3

---

529(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:00 ID:KnsCfpdu(2/4) AAS
>>510

追加引用ｗ（＾＾；
外部ﾘﾝｸ:ja.wikipedia.org
有限集合
(抜粋)

有限性の必要十分条件
ツェルメロ＝フレンケルの集合論 (ZF) では、以下の条件は全て等価である。
省12

---

531(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:05 ID:KnsCfpdu(4/4) AAS
>>530

（>>510より）
なるほど
”Kuratowski finiteness”の定義では、
CやRやQやNのシングルトン
{C}や{R}や{Q}や{N} 達は
有限集合にはならんな！
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s