>>344
ブルバキ
集合族という言葉を使う現代数学は全て型理論を使っている
数学基礎論・数理論理学 その18 [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
350１３２人目の素数さん
2016/09/23(金) 23:18:39.56ID:ZGT+lCeg■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ご飯はフォークの背に乗せるのがマナー？ レストランで知らない女性からの指摘…食べ方に賛否 [少考さん★]
- 「Google Gemini、終了へ👋」――無料ユーザーのFlashモデル、10月9日からFlash-Liteのみに [パンナ・コッタ★]
- 「赤い羽根共同募金運動」始まる 園児たちが呼びかけ [パンナ・コッタ★]
- 【科学大】👨📢「女子枠！」とキャンパスで揶揄され体が固まった……正当な入試なのに「なぜこんなに批判されるのか」 [パンナ・コッタ★]
- 【サッカー】今夜 キリンカップ決勝「日本対NZ」テレビ朝日が全国生中継！ 解説は松木安太郎＆内田篤人＆柿谷曜一朗 ゲスト 影山優佳 [阿弥陀ヶ峰★]
- 【沖縄】「許せない」「基地を返せ」 強盗殺人事件、沖縄に怒りの声 ★3 [ぐれ★]
- 【悲報】高市首相「責任ある積極財政で経済成長させるわよ！」 [733893279]
- 高市早苗、Ｇ７欠席。各国「理由は？」官房長官「明言避ける」😲 [518915984]
- ちょっと突然だけど、日本人って白人から見ると、指輪物語やRPGのエルフのイメージかね。 [268718286]
- 【悲報】コロコロコミック『子供たちへ、"冷笑"してるとこんな人生になるから気をつけようね！』 [839150984]
- 🫪🪳👴🏿🏡😅🏡🥫⛽🌿
- 底辺YouTuberだけどアドバイス下さい