この記事は英語版の対応するページを翻訳することにより充実させることができます。（2021年5月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。

英語版記事を日本語へ機械翻訳したバージョンを表示します（Google翻訳）。

万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。

信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。

履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。

翻訳後、{{翻訳告知|en|Morse?Kelley set theory}}をノートに追加することもできます。

Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

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

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

フォンノイマン・ベルナイス・ゲーデル集合論はZFCの保存拡大だが、ZFCで真な命題は、次の場合に証明できる場合にのみNBGで証明できる。モース-ケリー集合論はも保守的な拡張である。クラス理解の公理スキーマをそのインスタンスの有限数で置き換えることができるフォンノイマン-ベルナイス-ゲーデル集合論とは異なり、モース-ケリー集合論は有限公理化することはできない。.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.75em;right:1em;display:none}

この項目は、集合論に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。


更新日時:2022年8月2日(火)02:48
取得日時:2022/12/18 14:37