[過去ﾛｸﾞ] ０は自然数か？ [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

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

---

783(3): 2019/02/03(日)18:29 ID:pkrhH3iN(2/11) AAS
なお加法だけを持つ自然数もどきでも乗法だけを持つ自然数もどきでも構文論的な完全性をもつ理論になる
つまり、命題は証明可能か反証可能かのいずれかになる

---

788: 2019/02/03(日)19:37 ID:Y/h7rprv(3/6) AAS
>>783
そこで洗濯公理の登場か
洗濯は母ちゃんにやって貰おう

---

789(1): 2019/02/03(日)19:49 ID:u0l5MpOe(5/9) AAS
>>787
なんだかよく知らんけど >>783 であんたが言ってた事そのまま言っただけやで。
それブーメランじゃない？

---

794(1): 2019/02/03(日)20:30 ID:u0l5MpOe(8/9) AAS
>>793
ん？ >>783 で言ってる構文論的完全性ってのは >>781 の命題に関しては別に関係ないって事なの？

ペアノを満たせばそれは、最大限がなくて、最小限があって、稠密関係を満たさないような線形順序集合であるっての。

---

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

---

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

---

ぬこの手 ぬこTOP 0.026s