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

---

95(1): 08/24(日)00:05 ID:rTm6xTpy(1/11) AAS
>>91
>日常の殆どの数学の場面が、自然言語を使用して 述べられる
殆どじゃダメだね
だって君一番肝心な
N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
が読めずに発狂してたじゃん

---

119(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 08/24(日)16:57 ID:+A9mxT/6(2/9) AAS
>>95
>N:=∩{x⊂A∣∅∈x∧∀y[y∈x→y∪{y}∈x]}
>が読めずに発狂してたじゃん

あたま固そう
それ下記 ja.wikipedia ペアノの公理 ”N:=∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}ここでAは無限公理により存在する集合を任意に選んだもの”
だね(未確認飛行 C さんもついでに引用しておく)

さて、ZFC公理として 自然数の集合Nを公理的に構築する立場から批判する
省45

---

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

---

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

---

ぬこの手 ぬこTOP 2.330s*