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

---

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

---

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

---

521: 08/30(土)16:22 ID:dKFmS13a(21/30) AAS
>>518
>「N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
>の証明を書け！！ｗｗ
君はバカなのかい？
「:=」は定義、定義は証明不要。そんなことも知らないの？

---

522(1): 08/30(土)16:31 ID:fr4NlS//(5/12) AAS
>>518
>ペアノの公理
>自然数の集合論的構成
>N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
>ここでAは無限公理により存在する集合を任意に選んだものである
>ここで、
>１）Aが 可算無限集合の場合（そのような集合を一つ選べ）
省13

---

523(1): 08/30(土)16:31 ID:dKFmS13a(22/30) AAS
>>518
それを言うなら

ここで、「Aは無限公理により存在する集合を任意に選んだものである」として
１）Aが 可算無限集合の場合（この場合のAをBと書く）
２）Aが アレフ・ワン 非可算無限集合の場合（この場合のAをCと書く）
「∩{x⊂B|{}∈x∧∀y[y∈x→y∪{y}∈x]}=∩{x⊂C|{}∈x∧∀y[y∈x→y∪{y}∈x]}」
の証明を書け！！ｗｗ
省2

---

539(8): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/30(土)20:48 ID:jE3Cs7nW(16/22) AAS
>>531 補足
　>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省38

---

543(4): 08/30(土)22:38 ID:jE3Cs7nW(18/22) AAS
>>531 補足
　>>518 より
外部ﾘﾝｸ:ja.wikipedia.org
ペアノの公理
自然数の集合論的構成
N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}
ここでAは無限公理により存在する集合を任意に選んだものである
省45

---

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

---

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

---

ぬこの手 ぬこTOP 0.033s