モース-ケリー集合論
数学基礎論において、モース-ケリー集合論（ MK ）、ケリー-モース集合論（ KM ）、モース-タルスキー集合論（ MT ）、クイン-モース集合論（ QM ）、またはクインとモースのシステムとは一階述語論理によって記述される公理的集合論の一つ。非常に関係の深いは、クラス理解の公理型スキーマに表示される論理式の束縛変数を集合の範囲に制限しますが、モース-ケリー集合論は、ウィラード・ヴァン・オーマン・クワインが新基礎集合論について提案したように、これらの束縛変数が集合だけでなく適当なクラスを含むことが可能なように構成されています。 

モース-ケリー集合論は、数学者のとのによって初めて言及され、後にケリーの教科書 "General Topology" （1955）の付録でトポロジーの大学院レベルの紹介として示されました。ケリーは、彼の本のシステムは、トアルフ・スコーレムとモースによるシステムの変形であると述べました。モース自身のバージョンは、後に彼の著書 "A Theory of Sets" （1965）に登場しました。

フォンノイマン・ベルナイス・ゲーデル集合論はZFCの保守的な拡張ですが、ZFCで真な命題は、次の場合に証明できる場合にのみNBGで証明できます。モース-ケリー集合論はも保守的な拡張です。クラス理解の公理スキーマをそのインスタンスの有限数で置き換えることができるフォンノイマン-ベルナイス-ゲーデル集合論とは異なり、モース-ケリー集合論は有限公理化することはできません。
Q833585
数学基礎論
Concept
Q4055684
一階述語論理
Concept
Q12482
公理的集合論
Concept
None
クラス理解の
UNK
Q792536
公理型スキーマ
Concept
Q935944
束縛変数
Concept
Q214969
ウィラード・ヴァン・オーマン・クワイン
PER
Q649337
新基礎集合論
MEDIA
Q217594
クラス
Concept
Q42989
トポロジー
Concept
Q548080
トアルフ・スコーレム
PER
Q904423
ZFC
Concept
None
保守的な拡張
UNK
Q3490369
モース-ケリー集合論
MEDIA
Q3490369
モース-ケリー集合論
MEDIA
Q3490369
モース-ケリー集合論
MEDIA
Q3490369
モース-ケリー集合論
MEDIA
Q3490369
モース-ケリー集合論
MEDIA
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2055-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
55
DATE
2019-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
19
DATE
2065-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
65
DATE
+1955^^http://www.w3.org/2001/XMLSchema#decimal
1955
NUMBER
+1965^^http://www.w3.org/2001/XMLSchema#decimal
1965
NUMBER
instance of
field of work
instance of
studies
instance of
instance of
instance of
instance of
instance of