数学基礎論・数理論理学　その19 (605ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

604: 10/02(木)16:24 ID:oC122Iq+(1/2) AAS
集合論のモデルの中では自然数の集合は１つである

ただ、集合論のモデルは１つではないが・・・

---

605: 10/02(木)16:26 ID:oC122Iq+(2/2) AAS
つまり、集合論のモデルの中に唯一ある自然数の集合が標準的自然数である、ということはできない

集合論のモデルが標準モデルでない限りは・・・

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

ぬこの手 ぬこTOP 1.293s*