>>121
今ある完全性定理とかの証明が自然数に依存してるってこと?
数学基礎論・数理論理学 その17 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
127１３２人目の素数さん
2016/09/08(木) 21:16:17.29ID:KOLntqff■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【Ｗ杯】日本と同組のオランダ５発完勝で暫定首位に ハクポ、ブロビーが２発 スウェーデンを圧倒★2 [ゴアマガラ★]
- 【W杯】采配ズバリ的中!ドイツ 途中出場ウンダフ2発で劇的逆転勝ち 3大会ぶり決勝T進出決めた 独2-1コ [征夷大将軍★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★4 [ひぃぃ★]
- 【サッカー】日本戦の交代策に批判殺到… オランダ代表監督・クーマン「ミスをしたのは私だ。大人として責任を受け入れる」 [冬月記者★]
- 【節約】物価高でも「食費月1万円」は可能？ 月7000円台、レバーと100円キャベツで回す強者も★5 [ひぃぃ★]
- 政府が称賛「日立の裁量労働制」のガッカリな実態 労働時間過少申告の会社圧力、記録ごまかす裏技 [蚤の市★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★120【メキシコ/カナダ/アメリカ】
- ハム専 気合入れていけ、ファイターズ
- 巨専】 祝勝会
- 【D専】Part.8
- おりせん
- 〓たかせん〓
- 【動画】高市早苗さん、誰と歓談してるのかガチで謎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]
- 今宵も水に溶けておやすみ🐟🌃🦔🏡
- 日本、中国、韓国、台湾、の中で1つだけ観光地がしょぼい国があるよな？