大学学部レベル質問ス ..
[
2ch
|
▼Menu
]
85:132人目の素数さん
18/04/28 20:29:24.56 NGRVO0jd.net
>>82
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません
わからないんですね
次ページ
続きを表示
1を表示
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック!
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
1847日前に更新/269 KB
担当:undef