In the foundations of mathematics, Morse–Kelley set theory, Kelley–Morse set theory, Morse–Tarski set theory, Quine–Morse set theory 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.