Morse–Kelley set theory
id:
morse-kelley-set-theory-318-9944582
title:
Morse–Kelley set theory
text:
In the foundations of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Morse–Tarski set theory (MT), Quine–Morse set theory (QM) or the system of Quine and Morse is a first-order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over sets alone, Morse–Kelley set theory allo
brand slug:
wiki
category slug:
encyclopedia
description:
System of mathematical set theory
original url:
https://en.wikipedia.org/wiki/Morse%E2%80%93Kelley_set_theory
date created:
date modified:
2023-06-03T01:17:07Z
main entity:
{"identifier":"Q3490369","url":"https://www.wikidata.org/entity/Q3490369"}
image:
fields total:
13
integrity:
14