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