【あさひ】高校数学の質問スレPart397at MATH
【あさひ】高校数学の質問スレPart397 - 暇つぶし2ch378:１３２人目の素数さん
18/05/27 21:56:02.03 JlVk5Goy.net
>>372
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

私バカなんで教えてくださいね

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch