感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

公理的集合論への一歩　無限についてのおはなし 　(数学セミナーライブラリー)

著者名 池上大祐／著
出版者 日本評論社
出版年月 2026.6
請求記号 4109/00106/

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0238795611一般和書２階開架自然・工学在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

書誌詳細

この資料の書誌詳細情報です。

請求記号 4109/00106/
書名 公理的集合論への一歩　無限についてのおはなし 　(数学セミナーライブラリー)
著者名 池上大祐／著
出版者 日本評論社
出版年月 2026.6
ページ数 11,174p
大きさ 21cm
シリーズ名 数学セミナーライブラリー
ISBN 978-4-535-79059-9
分類 4109
一般件名 集合論
書誌種別 一般和書
内容紹介 公理的集合論を学び始めるための一歩を踏み出すきっかけとなる一冊。集合論や無限についての疑問に触れながら、公理的集合論の基本的な概念や考え方を解説する。『数学セミナー』連載と大学での講義内容をベースに書籍化。
書誌・年譜・年表 文献:p169〜170
タイトルコード 1002610021756

要旨 気になる疑問から公理的集合論の世界へ。「この命題は選択公理を仮定しないで証明できるか？」「フェルマーの最終定理はＺＦＣの下で証明できるか？」数学をしていると湧いてくる集合論の疑問を明快に解説！雑誌『数学セミナー』の好評連載を収めるシリーズ第４弾！
目次 第１章　順序数とはなにか？　「長い」数学的帰納法と再帰的定義
第２章　順序数の性質と使い方　「長い」数学的帰納法と再帰的定義の応用
第３章　集合とクラス　「大きすぎる」あつまりとパラドックス
第４章　置換公理　順序数をたくさん生み出す公理
第５章　正則性公理　集合全体上の数学的帰納法と再帰的定義
第６章　集合のランクの使い方　スコットのトリックとその応用
第７章　集合論のモデル　証明できないことを証明するにはどうすればよいか？
第８章　選択公理と論理式の絶対性　どういう命題は選択公理を仮定せずに証明できるか？
第９章　反映原理　集合全体のクラスに‘似ている’たくさんの集合の存在
第１０章　従属選択公理　選択公理よりも弱い便利な公理
第１１章　ゲーデルの不完全性定理と公理系の無矛盾性　数学の議論の算術化と形式化
第１２章　巨大基数と公理系の無矛盾性　公理系の無矛盾性の強さとその尺度
第１３章　フェルマーの最終定理はＺＦＣの下で証明できるか？　グロタンディーク宇宙と到達不可能基数
付録　集合論の公理系ＺＦＣ
著者情報 池上 大祐
　１９８１年生まれ。現在、中山大学哲学系、論理・認知研究所副教授。専門は数理論理学、とくに集合論(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表：

前のページへ
ページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。