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

---

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

---

511(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/28(木)00:37 ID:QdpmOFrx(4/7) AAS
>>509
>Writing K(S) for the sub-semilattice generated by the empty set and the singletons, call set S Kuratowski finite if S itself belongs to K(S).[8] Intuitively,
>K(S) consists of the finite subsets of S. Crucially, one does not need induction, recursion or a definition of natural numbers to define generated by since one may obtain K(S) simply by taking the intersection of all sub-semilattices containing the empty set and the singletons.

もし、singleton が、ZFCの中で正則性公理により有限に留まらざるを得ないならば、話は単純だが
しかし、そうではないからこそ、Kuratowski先生も苦労して、”Kuratowski finiteness”を定義している
かつ、それでこそ、Kuratowskiの論文の値打ちもあろうというものよｗｗ（＾＾；

---

514(1): 2019/11/28(木)06:21 ID:rkIRfVWh(3/5) AAS
>>511
＞singleton が、ZFCの中で正則性公理により
＞有限に留まらざるを得ないならば、話は単純だが

正則性公理は全然関係ないが

こいつホント馬鹿だな

＞しかし、そうではないからこそ、
＞Kuratowski先生も苦労して、
省4

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s