純粋・応用数学・数学隣接分野（含むガロア理論）21 (392ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

105(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/25(金)11:08 ID:ddlXMCUI(2/2) AAS
>>103 追加
>さて、上記 N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} なる式が 自然数の集合N を表すと宣う

集合和 記号∩（Intersection (set theory)）が、分出公理を使って導けるとして
さらに 下記en.wikipediaのように 集合族 Ai i=1〜n の 集合和も定義できるが
しかし、そもそも 集合族 Ai が 不明確だと、集合和 ∩i=1〜n Ai も不明確

さらに付言すれば
単純な例示として
省14

---

108(1): 07/25(金)12:13 ID:uxV8JHFX(5/7) AAS
>>105
>集合和 記号∩（Intersection (set theory)）が、分出公理を使って導けるとして
和じゃなく積なｗ
事実だから「として」じゃなく「が」な

>さらに 下記en.wikipediaのように 集合族 Ai i=1〜n の 集合和も定義できるが
{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
は添え字付けられた集合族じゃないから添え字付けられた集合族の話を持ち出してもナンセンス。
省9

---

112: 07/26(土)10:01 ID:gZ1LykHx(1/22) AAS
>>103
>3. 分出公理図式
なぜ”分出公理”ではなく”分出公理図式”と書かれてるか分かるかい？
この程度をカンニング無しで即答できないようじゃ集合論を語らない方が良い。

>>105
>しかし、そもそも 集合族 Ai が 不明確だと、集合和 ∩i=1〜n Ai も不明確
まず、何度言っても言葉が通じないが、そもそも
省7

---

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

---

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

---

ぬこの手 ぬこTOP 0.023s