巨大基数 - Wikipedia
巨大基数（きょだいきすう、英: large cardinal）とは、数学の集合論における超限基数が有するある種の性質。この性質を持つ基数は、その名の通り、一般に大変「大きい」（例えば、α=ωαを満たすような最小の基数αよりも大きい）。そのような基数が存在するという命題は、集合論における最も標準的な公理系である ZFC からは証明できない。このことから、そのような命題は、何らかの望ましい結果を証明できるようになる上で ZFC を超えてどのぐらいの「量」の仮定を加えなければならないのかを測るある種の尺度になっている。別の言い方をすれば、デイナ・スコットが述べたように、巨大基数的性質は「より多くを求めるなら、より多くを仮定しなければならない」という事実を定量的に表現しているとみなせる[1]。 大まかな約束事として、ZFCだけから結果を証明できる場合は特段の断り書きは要らないが、もしその他の主張（
フォン・ノイマン＝ベルナイス＝ゲーデル集合論 - Wikipedia
数学基礎論において、フォン・ノイマン＝ベルナイス＝ゲーデル集合論 (NBG) とはツェルメロ＝フレンケル集合論＋選択公理 (ZFC)の保存拡大である公理的集合論である。NBGでは、量化子の範囲を集合に限定した論理式によって定義される集合の集まりとして、クラスの概念を導入する。NBGは、すべての集合というクラスやすべての順序数というクラスといった、集合よりも大きいクラスを定義できる。モース＝ケリー集合論 (MK) は量化子の範囲がクラスである論理式によるクラスの定義を許容する。NBGは有限公理化できる一方、ZFCやMKではできない。 NBGのキーとなる定理はクラスの存在定理である。クラスの存在定理は、量化子の範囲を集合に限定した論理式それぞれに対して、論理式を満たす集合からなるクラスの存在を述べる。クラスは、クラスの論理式を一つずつ構築することで構成される。すべての集合論的な論理式は2種類の
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
