Inter-universal geometryとABC予想(シン応援スレ) 92at MATHInter-universal geometryとABC予想(シン応援スレ) 92 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト550:１３２人目の素数さん 26/07/26 22:17:40.07 PZsQ0etD.net >>549 そんな狭い範囲の話じゃねーんだよw 低学歴ってすぐ完全表現使うから嘘になるんだよ ケーキ切れない論理も集合も知らないからIUT信者なんてやってられるんだよお前はww 551:１３２人目の素数さん 26/07/26 22:17:55.36 PZsQ0etD.net 低学歴w 552:１３２人目の素数さん 26/07/26 22:18:12.98 PZsQ0etD.net 実際さあ こんなんでさあ 「天才だ！天才だ！」とか 言ってんのも言われるのも恥知らずって感じだよな よく平気で生きてられるな 553:１３２人目の素数さん 26/07/26 22:27:16.17 q7nx5Qo2.net >>550 完全表現って何？ 俺がIUT信者？何盛大に勘違いしてんだこいつ？ 554:１３２人目の素数さん 26/07/26 22:40:29.94 q7nx5Qo2.net >>549 もちろん反例なんて無いから、間違ってるのは>>532。 PAで考える。ゲーデル文「ゲーデル文は証明できない」をGと書く。 不完全性定理から￢Gは証明できない。・・・(1) (1)と完全性定理から￢Gが偽となるモデルが存在する。・・・(2) 仮に標準モデルで￢Gが真とすると任意のモデルでも真であるはずだから(2)と矛盾。背理法により標準モデルで￢Gは偽、すなわちGは真。 真なのは標準モデルでであって、任意のモデルでではない。それが>>532の間違い。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch