[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 73 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

73(1): 07/29(火)13:54 ID:ggOSvtF9(4/7) AAS
>ωaが非可算ならNも非可算。
訂正
a^が非可算なら{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}も非可算。

>１）の ωa ＝ ∩a^、 a^ ＝ {x ∈P(a) | M(x)}、P (a) は a の「冪集合」、「x は無限集合である」という命題を M(x)
>２）の N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}、Aは無限公理により存在する集合を任意に選んだ

---

75(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 07/29(火)20:29 ID:7CXjMyGa(1/2) AAS
>>71-74
ゴキブリくん、元気だね
ゴキブリくんは、道端に落ちていた >>64の ja.wikipedia
”ペアノの公理 自然数の集合論的構成
　 N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} ”外部ﾘﾝｸ:ja.wikipedia.org
にえらくご執心だが
ja.wikipedia なんて だれが書いたか不明で 転記ミスもあるかもｗ
省24

---

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

---

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

---

ぬこの手 ぬこTOP 0.032s