- 公理的集合論への一歩
-
無限についてのおはなし
数学セミナーライブラリー
- 価格
- 2,860円(本体2,600円+税)
- 発行年月
- 2026年06月
- 判型
- A5
- ISBN
- 9784535790599
この商品をご覧のお客様は、こんな商品もチェックしています。
- 知らないと恥をかく世界の大問題 17
-
価格:1,144円(本体1,040円+税)
【2026年06月発売】
- 20歳の自分に教えたい宗教のきほん
-
価格:1,100円(本体1,000円+税)
【2026年03月発売】
- AIのド素人ですが、10年後も仕事とお金に困らない方法を教えて下さい!
-
価格:1,760円(本体1,600円+税)
【2025年05月発売】
- 法で裁けない正義の行方
-
価格:1,980円(本体1,800円+税)
【2026年04月発売】
- 一気にわかる!池上彰の世界情勢 2026
-
価格:1,210円(本体1,100円+税)
【2026年01月発売】


























[BOOKデータベースより]
気になる疑問から公理的集合論の世界へ。「この命題は選択公理を仮定しないで証明できるか?」「フェルマーの最終定理はZFCの下で証明できるか?」数学をしていると湧いてくる集合論の疑問を明快に解説!雑誌『数学セミナー』の好評連載を収めるシリーズ第4弾!
第1章 順序数とはなにか? 「長い」数学的帰納法と再帰的定義
[日販商品データベースより]第2章 順序数の性質と使い方 「長い」数学的帰納法と再帰的定義の応用
第3章 集合とクラス 「大きすぎる」あつまりとパラドックス
第4章 置換公理 順序数をたくさん生み出す公理
第5章 正則性公理 集合全体上の数学的帰納法と再帰的定義
第6章 集合のランクの使い方 スコットのトリックとその応用
第7章 集合論のモデル 証明できないことを証明するにはどうすればよいか?
第8章 選択公理と論理式の絶対性 どういう命題は選択公理を仮定せずに証明できるか?
第9章 反映原理 集合全体のクラスに‘似ている’たくさんの集合の存在
第10章 従属選択公理 選択公理よりも弱い便利な公理
第11章 ゲーデルの不完全性定理と公理系の無矛盾性 数学の議論の算術化と形式化
第12章 巨大基数と公理系の無矛盾性 公理系の無矛盾性の強さとその尺度
第13章 フェルマーの最終定理はZFCの下で証明できるか? グロタンディーク宇宙と到達不可能基数
付録 集合論の公理系ZFC
数学を学ぶと気になる公理的集合論の話題を、いま注目の研究トピックにも触れてしっかり解説。集合論へ踏み出す一歩となる入門書。