Inter-universal geometry と ABC予想 (応援スレ) 73 (712ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

245(1): １３２人目の素数さん [sage] 08/02(土)17:32 ID:rqMubN8o(1/3)
自然数0,1,2,…と自然数の全体集合Nの存在性を仮定して
集合Nの元の自然数0,1,2,…を定義したら
循環論法になるだけでなく、ペアノの公理の意味がない

---

249(1): １３２人目の素数さん [sage] 08/02(土)18:28 ID:rqMubN8o(2/3)
Sを後者関数として自然数が
0:=∅,1:=S(0),2:=S(S(1)),3:=S(S(2)),…,S(n):=S(S(n-2)) n≧3
と帰納的に定義されるということが分かってないという訳か

---

250(1): １３２人目の素数さん [sage] 08/02(土)19:01 ID:rqMubN8o(3/3)
2:=S(S(1)),S(n):=S(S(n-2)) n≧3 → 2:=S(S(1)),…,S(n):=S(S(n-1)) ∀n∈N-{0,1}

---

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

---

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

---

ぬこの手 ぬこTOP 0.030s