数理論理学（数学基礎論）　その13at MATH

---

726:１３２人目の素数さん
19/01/22 07:49:57.55 XL15UiTv.net
>>656
>つまりAかAの否定のどちらかは証明できる様な公理系を使うべきだって感じ？
>完全性だっけ？
違うそれに無理
>ちなみにグッドスタインの定理はペアノでは証明も反証もできないって事でペアノが排中律に反する事の証明にもなってる。
違う
>>661
を噛みしめよう

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch