証明の前提条件を良く考えれば分かるけど
ゲンツェンもゲーデルもどちらも正しい
数学基礎論・数理論理学 その16 [転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
593１３２人目の素数さん
2016/06/19(日) 11:33:02.81ID:MjKhtOJb■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【Ｗ杯】日本と同組のオランダ５発完勝で暫定首位に ハクポ、ブロビーが２発 スウェーデンを圧倒★2 [ゴアマガラ★]
- 【W杯】采配ズバリ的中!ドイツ 途中出場ウンダフ2発で劇的逆転勝ち 3大会ぶり決勝T進出決めた 独2-1コ [征夷大将軍★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★4 [ひぃぃ★]
- 【サッカー】日本戦の交代策に批判殺到… オランダ代表監督・クーマン「ミスをしたのは私だ。大人として責任を受け入れる」 [冬月記者★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★5 [ひぃぃ★]
- 政府が称賛「日立の裁量労働制」のガッカリな実態 労働時間過少申告の会社圧力、記録ごまかす裏技 [蚤の市★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★120【メキシコ/カナダ/アメリカ】
- ハム専 気合入れていけ、ファイターズ
- 巨専】 祝勝会
- 【D専】Part.8
- おりせん
- 〓たかせん〓
- 【朗報】インド人プール、毒みたい お前らの想像の1.2倍毒
- 【動画】高市早苗さん、誰と歓談してるのかガチで謎WWWWWWWWWWWWWWWWWWWWWWWW [685821185]
- すまん、実家が太いって何なんだ？お前ら実家太いのか？
- 【FIFAワールドカップ2026】F組オランダ×スウェーデン2:00(NHK1:45~,DAZN),E組ドイツ×コートジボワール5:00(日本テレビ4:40~,DAZN [226731781]
- 【FIFAワールドカップ2026】 E組ドイツ×コートジボワール5:00(日本テレビ4:40~,DAZN),E組エクアドル×キュラソー9:00(DAZN) [226731781]
- アメリカ人、バカを大統領に選んだ代償が大きすぎるｗｗ [118990258]