[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

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

---

585(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 06/15(日)23:33 ID:lv2xCBEK(12/12) AAS
>>580
>>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>においてAはひとつの集合を表しているから、「ここでAは無限公理により存在する集合を『全て』選んだものである」では、意味が通らないから誤読。

なるほど
それは、理屈だ

それでは
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]} (ただしここでAは無限公理により存在する集合を任意に選んだものである) from 「ペアノの公理」 外部ﾘﾝｸ:ja.wikipedia.org
省17

---

586(1): 06/15(日)23:56 ID:Eap/oGjV(13/13) AAS
>>585
どうでもよい　実質同じだから
一方は∩を使用、他方はφを使用、どっちがすっきりも無い

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s