[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (944ﾚｽ)
上下前次1-新

---

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

---

814: 2020/11/08(日)16:05 ID:bKzT4Sg/(10/15) AAS
>>802
>２）もう一つは、無限公理を若干手直しして、
>　任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する
>　　　　↓
>　任意の要素 x に対して {x} を要素に持つ集合が存在する
>　とすること

それはツェルメロの後者関数を使った場合のωの作り方だな

1={0}
2={1}={{0}}
3={2}={{{0}}}

この場合も
ωは
･0を要素とする
･nを要素とすれば、n+1={n}を要素とする
ので、{0,1,2,…}

結果は同じ　ただ個々の自然数を表す集合が異なるだけ

こんな簡単なことも理解できないんじゃ
IUTどころか微積分も線形代数も…
♪無理〜、サファリパーク

---

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

---

あと 130 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.165s*