フォン・ノイマン宇宙

ウィキペディア

フォン・ノイマン宇宙

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/11/30 00:57 UTC 版)

数学の集合論とその周辺分野において、フォン・ノイマン宇宙 V とは、遺伝的（英語版）整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。

整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される^[1]。特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。V内の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。

定義

この累積的階層は順序数のクラスによって添え字付けられた集合 V_α の集まりであり、特に、V_α は階数 α 未満の集合全てによる集合である。ゆえに各順序数 α に対して集合 V_α が超限帰納法によって以下のように定義できる:

• V₀は空集合 {} とする。
• 各順序数 β に対して、V_β+1 は V_β の冪集合とする。
• 各極限順序数 λ に対して、V_λは、次の和集合とする:

  ${\displaystyle V_{\lambda }:=\bigcup _{\beta <\lambda }V_{\beta }}$ カテゴリ

表 話 編 歴 数理論理学
一般	形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 関係 定理 論理的帰結 公理系 型理論 記号（英語版） 統語論（英語版） 理論（英語版）
Traditional logic（英語版）	命題 推論 論証 妥当性 Cogency 三段論法 Square of opposition（英語版） ベン図
命題論理・ ブール論理	ブール関数 命題論理 命題論理式（英語版） 論理演算 真理値表 多値論理
述語論理	一階 量化子 述語（英語版） 二階 Monadic predicate calculus（英語版）
素朴集合論	集合 空集合 元 数え上げ 外延 有限集合 無限集合 部分集合 冪集合 可算集合 非可算集合 帰納的集合 定義域 終域 像 写像 関数 関係 順序対
集合論	数学基礎論 ツェルメロ＝フレンケル集合論 選択公理 一般集合論（英語版） Kripke–Platek 集合論（英語版） フォン・ノイマン＝ベルナイス＝ゲーデル集合論（英語版） モース-ケリー集合論 タルスキ＝グロタンディーク集合論（英語版）
モデル理論	モデル（英語版） 解釈（英語版） 超準モデル（英語版） 有限モデル理論 真理値 妥当性
証明論	形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） シークエント計算
計算理論 再帰理論	計算可能性 計算複雑性 複雑性クラス P≠NP予想 再帰 帰納的集合 帰納的可算集合 決定問題 停止性問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 μ再帰関数 チューリングマシン ラムダ計算