(Q3490369)

English

Morse–Kelley set theory

first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes

  • MK
  • Kelley–Morse set theory
  • KM
  • Morse–Tarski set theory
  • MT
  • Quine–Morse set theory
  • QM
  • system of Quine and Morse
  • Morse-Kelley set theory

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit