Inter-universal geometry と ABC予想 (応援スレ) 74 (976ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

515(2): 08/30(土)15:35 ID:fr4NlS//(1/12) AAS
>>483
外部ﾘﾝｸ[pdf]:pc1.math.gakushuin.ac.jp

>p11
>”集合の議論では無限個のものの合併や共通集合が、極限の操作を経ずに、いっぺんに定まる。

いきなりここからはじまってるけど、
その前の”無限個のものの合併や共通集合”の定義が
見つけられなかったのかな？
省38

---

518(5): 08/30(土)16:13 ID:jE3Cs7nW(12/22) AAS
>>515
(引用開始)
p10
M1, M2, . . . を集合の列とする。
すなわち，各 i ∈ N に対して，集合 Mi が定まっているものとする。
そのときすべての Mi の共通集合が
∩(i=1〜∞)Mi = {m | ∀i∈N.m ∈ Mi（すべての i に対して m ∈ Mi）}
省35

---

534: 08/30(土)17:31 ID:fr4NlS//(9/12) AAS
>>531
＞無限公理の 無限集合Iから自然数を抽出する
＞∀x(x∈W↔∀I(∅∈I∧∀y(y∈I→(y∪{y}∈I)))→x∈I))
＞の如く∩を使わずに済ます方が
＞公理による自然数N＝ωの構築として
＞圧倒的に スマートで美しい

∀Iを使ってる時点で、>>515で示した通り、∪と同じなので
省1

---

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

---

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

---

ぬこの手 ぬこTOP 0.031s