分からない問題はここに書いてね434at MATH

---

901:１３２人目の素数さん
17/10/14 14:57:11.78 4clY7sjY.net
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
ここの回答者は何度貼ってもこの問題はわからないですからね

---

次ページ

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch