[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

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

---

726(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/28(土)09:57 ID:Om34p0pv(1/2) AAS
>>723
>∩が使えないなんて言うバカ初めて見た

ふっふ、ほっほ
∩は、基本的に二項演算（binary operation）
で、いま集合族 Ai i∈{0,1,2,3,4,5}として

二項演算を、（下記）反復二項演算（Iterated binary operation）
に拡張したとき
省27

---

727(9): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/28(土)10:32 ID:Om34p0pv(2/2) AAS
>>726
>”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”

この式は、下記のペアノの公理 自然数の集合論的構成 の式だが
上記の通り、∩のIterated binary operation の意味が不明確（この説明を求められると詰まるだろう）

なので、∩を使わない 別の工夫がある（下記）
例えば en.wikipedia Axiom of infinity, Extracting the natural numbers from the infinite set, Alternative method
あるいは fr.wikipedia Axiome de l'infini
省20

---

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

---

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

---

ぬこの手 ぬこTOP 0.043s