大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 大学学部レベル質問スレ 8単位目 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

686(1): 2017/10/28(土)21:53 ID:jWurCcgF(2/6) AAS
ID:w9q+vqpR
キモ

687(1): 2017/10/28(土)22:01 ID:w9q+vqpR(35/36) AAS
>>686
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません