ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜 工学物理雑談 古典ガロア理論も読む76

PC,ｽﾏﾎ,PHSは ULA べっかんこ 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>850 > >>847 > (引用開始) > >（>>832 「ZFC公理系について：その2」で、自然数Nが数学的帰納法（ペアノの公理）を満たすことが証明されています。つまり、自然数Nは「1つずつ」で尽くされる！勿論、無限公理を認めた上ですがね） > 「自然数Nは「1つずつ」で尽くされる。」が意味不明。 > 「自然数Nが数学的帰納法を満たす」からなぜ「自然数Nは「1つずつ」で尽くされる。」が言えるのか？ > (引用終り) > > 下記もご参照ください > １）数学的帰納法 P(0)とP(n)で成り立ち、ｎの後者 n+1(下記ではn+)でP(n+1)が成立つ→全ての自然数Nで成立つ > ２）これを公理として認めるわけですから、”「P(k) ⇒ P(k + 1)」で自然数全体に至る”を認めるということです > QED > > （>>832より） > http://tech-blog.rei-frontier.jp/entry/2017/11/09/100000 > Rei Frontier Tech Blog > 2017-11-09 > ZFC公理系について：その2 > (抜粋) > ペアノの公理 > 前節の議論によって、我々はついに当初の目的であった「自然数の全体」という、具体的でかつ非自明な集合を手に入れることができました。 > > 今我々が構成した"集合論的自然数"が"普通の自然数"と同じような"算術的性質"をもつことが示されるでしょうか？ > > 自然数のもつべき"算術的性質"には、大小関係、足し算掛け算等々いろいろありますが、それらはいくつかの基本的な性質から証明できます（長くなるので、本記事では扱いません）。そのような基本的性質として挙げられるのが、ペアノ(Peano)の公理です。 > すなわち、集合aがつぎの命題たちを満たしていれば、aは"自然数の集合の算術的性質"を満たすことが示されます： > > 補題2の証明で活躍した公理(P3)は数学的帰納法の原理とも呼ばれています。実際、Peanoの公理は高校数学などでもお馴染みの数学的帰納法の定理を含んでいます： > > つづく
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.013s