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

---

998:１３２人目の素数さん
17/11/01 14:59:08.89 ScFh/IWE.net
>>959
Bが原始論理式のとき直観主義論理でB∨￢Bが証明可能でないことが
カット除去定理よりただちに分かる

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch