分からない問題はここに書いてね426 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 分からない問題はここに書いてね426 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

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

974: 2017/05/29(月)01:56 ID:fB2bjA3v(1) AAS
>>973
任意の整合的な公理系τは少なくとも一つのモデルを持つことを既知とします
このとき、τの任意のモデルに対してφが真であれば、τからφがLKにおいて証明可能であることを示せ、という問題がわかりません