>>41
工学やってもこの問題は解けませんよね
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ
■ちょっとした物理の質問はここに書いてね218■
■ このスレッドは過去ログ倉庫に格納されています
43電気力線は有限本
2017/11/18(土) 09:05:16.88ID:???■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【千葉】面識のない２０代女性に性的暴行 トルコ国籍の男二人を逮捕 [シャチ★]
- 大谷翔平「１番ＤＨ」スタメン入り 崖っぷち０勝３敗から意地の本塁打なるか…突破率２・４％ [征夷大将軍★]
- 【国民民主】消費税減税の対案提出へ…所得税などの減税と給付の組み合わせが柱 [蚤の市★]
- 【芸能】森香澄、書留の配達で戦慄…「ヤバイと思って引っ越しました」「本名なので。同じ人がずっと来るから…」 [冬月記者★]
- ソースネクスト情報流出か ★2 [少考さん★]
- 【野球】パ･リーグCS第2戦 H 6x-2 F [10/15] ホークス栗原サヨナラ満塁ホームラン4勝0敗王手 日本ハム連敗 [鉄チーズ烏★]
- 給料に見合った仕事しかしない「静かな退職」が増えています ← これ
- 【悲報】女子アナ「いやあぁぁぁ郵便局員が書留を「フルネーム呼称」で確認してくるのっ！」👉引っ越し [566475398]
- コンビニ裏のゴミ捨て場から廃棄の菓子パン38個を盗んだ56歳男を現行犯逮捕 ｢”もらおう”とはしたが”盗んで”はいない｣と容疑を否認 [597533159]
- ( ･᷄ὢ･᷅ )ホモなんスよ
- お前らの今の体の悩み書いて
- 【人類滅亡】Google、量子コンピュータを99.99%完成。これとAIを合体させると…？ [834239657]