>>772
任意の無矛盾な公理系τのモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能であることを示せという問題がわかりません
■ちょっとした物理の質問はここに書いてね215■ [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
2017/09/27(水) 08:34:08.11ID:???
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【お籠もり会】帝国ホテル内の展覧会が物議、女児への性暴力連想させる作品にSNSで批判…ギャラリー謝罪「確認が不十分だった」 [ぐれ★]
- 【時事世論調査】内閣支持率４２％に下落＝簗氏続投判断、８割問題視 [ぐれ★]
- 【アゴダ】「Agoda使わないで」温泉旅館が注意喚起 観光庁の改善要請から1年半も...「CM流すより先にトラブル解決して」 [ぐれ★]
- 横浜・織田翔希が米球界挑戦表明「覚悟を決めて挑戦していきたい」ドラフト1位確実もNPB経ず米大学も視野 超異例の進路を決断 [征夷大将軍★]
- 俳優・藤原竜也 初めて食べて衝撃を受けた食べ物「なんだこれは！？」それまでは「ピザまんとペヤング」で育つ [muffin★]
- 【長崎】「性欲が我慢できずにやった」10代男性に乱暴した疑い アルバイト従業員の男（27）不同意性交等容疑で逮捕 [ぐれ★]
- 【高市悲報】航空自衛官、飲酒運転で事故不申告の疑いで逮捕。同乗者２人も自衛官😤誇らしい！ [359965264]
- 【悲報】陸上自衛隊の三等陸曹(30)、銀行口座を売り飛ばして懲戒処分ｗｗｗｗｗ [834922174]
- 【高市悲報】日本人て日本が中国に"侵略"したという歴史的事実を忘れていないか？中国から日本を侵略した歴史的事実はないのに [472617201]
- トランプ、珍しく弱気になる 「原油高騰で物価高が止まらない」 [476729448]
- 【高市悲報】警察署内の金庫から現金100万円が消える [817260143]
- すまん正論発言するけど、『ジャップ連呼』って自虐でも自己批判でもないよな。自分に当てはまらない属性をジャップと罵倒してるだけ [906824121]