「モース-ケリー集合論」の版間の差分

削除された内容 追加された内容
編集の要約なし
編集の要約なし
1行目:
{{Expand English|Morse–Kelley set theory|date=2021-05}}
[[数学基礎論]]において、'''モース-ケリー集合論'''( '''MK''' )、'''ケリー-モース集合論'''( '''KM''' )、'''モース-タルスキー集合論'''( '''MT''' )、'''クイン-モース集合論'''( '''QM''' )、または'''クインとモースのシステムとは'''[[一階述語論理]]によって記述される[[集合論|公理的集合論]]の一つ。非常に関係の深い[[{{仮リンク|フォンノイマン・ベルナイス・ゲーデル集合論]]|en|Von Neumann–Bernays–Gödel set theory}}は、[[フォン・ノイマン=ベルナイス=ゲーデル集合論|クラス理解の]][[公理型|公理型スキーマ]]に表示される論理式の[[自由変数と束縛変数|束縛変数]]を集合の範囲に制限しますが、モース-ケリー集合論は、[[ウィラード・ヴァン・オーマン・クワイン]]が[[新基礎集合論]]について提案したように、これらの束縛変数が集合だけでなく適当な[[クラス (集合論)|クラス]]を含むことが可能なように構成されています。
 
モース-ケリー集合論は、数学者の[[{{仮リンク|ジョン・ルロイ・ケリー|ジョンen|John L.ケリー]] Kelley}}[[{{仮リンク|アンソニー・モース]]|en|Anthony Morse}}の{{Harvtxt|Wang|1949}}によって初めて言及され、後にケリーの教科書 ''General Topology'' (1955)の付録で[[位相幾何学|トポロジー]]の大学院レベルの紹介として示されました。ケリーは、彼の本のシステムは、[[トアルフ・スコーレム]]とモースによるシステムの変形であると述べました。モース自身のバージョンは、後に彼の著書 ''A Theory of Sets'' (1965)に登場しました。
 
フォンノイマン・ベルナイス・ゲーデル集合論は[[公理的集合論|ZFC]]の[[保守的な拡張]]ですが、ZFCで真な命題は、次の場合に証明できる場合にのみNBGで証明できます。モース-ケリー集合論はも保守的な拡張です。クラス理解の公理スキーマをそのインスタンスの有限数で置き換えることができるフォンノイマン-ベルナイス-ゲーデル集合論とは異なり、モース-ケリー集合論は有限公理化することはできません。