トップページ > 数学 > 2018年05月17日 > RMm2CIYv

書き込み順位＆時間帯一覧

20 位/82 ID中時間01234567891011121314151617181920212223Total
書き込み数0000000000000001000000012



使用した名前一覧書き込んだスレッド一覧
１３２人目の素数さん
分からない問題はここに書いてね443
【専門書】数学の本第76巻【啓蒙書】

書き込みレス一覧

分からない問題はここに書いてね443
476 ：１３２人目の素数さん[sage]：2018/05/17(木) 15:38:11.25 ID:RMm2CIYv
「ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能である」という命題が証明可能であることを示せ

という問題が分かりません。教えてください
【専門書】数学の本第76巻【啓蒙書】
730 ：１３２人目の素数さん[sage]：2018/05/17(木) 23:32:39.03 ID:RMm2CIYv
松坂くんまた微積入門読んでるの？


※このページは、『２ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の２ちゃんねるの書き込みです。
※このサイトでオリジナルの書き込みについては対応できません。
※何か問題のある場合はメールをしてください。対応します。