分からない問題はここに書いてね436 at MATH分からない問題はここに書いてね436 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト1005:１３２人目の素数さん 17/11/15 04:54:27.25 +vKpWV6S.net >>981 誰も止めないから死ね せめて死ぬ前に大量殺人して日本史に名を残せよw 1006:９６７ 17/11/15 05:05:42.62 Rs4MO3Z3.net 質問ばかりで申し訳ないのですが砂田版の答えを一般の場合に拡張するとどうなりますか？ 1007:１３２人目の素数さん 17/11/15 08:43:06.36 KRJCfOte.net >>983 ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません 1008:１３２人目の素数さん 17/11/15 09:38:46.81 LbNkD/hZ.net >>966 信州在住の４０代のニートの少林寺拳法一級のおっさん 1009:￥ 17/11/15 10:52:36.06 WZuPK5Ir.net ￥ 1010:￥ 17/11/15 10:52:51.27 WZuPK5Ir.net ￥ 1011:￥ 17/11/15 10:53:08.11 WZuPK5Ir.net ￥ 1012:￥ 17/11/15 10:53:24.75 WZuPK5Ir.net ￥ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch