Morse–Kelley set theory
first‐order axiomatic set theory permitting proper classes and class comprehension with bound (possibly proper) classes
Press Enter · cited answer in seconds
0 sources
Morse–Kelley set theory
Summary
Morse–Kelley set theory is an axiomatic set theory[1]. It draws 42 Wikipedia views per month (axiomatic_set_theory category, ranking #2 of 6).[2]
Key Facts
- Morse–Kelley set theory's instance of is recorded as axiomatic set theory[3].
- Morse–Kelley set theory's instance of is recorded as alternative set theory[4].
- Morse–Kelley set theory's instance of is recorded as set theory[5].
- John L. Kelley is named after Morse–Kelley set theory[6].
- Anthony Morse is named after Morse–Kelley set theory[7].
- Morse–Kelley set theory's has part is recorded as axiom of extensionality[8].
- Morse–Kelley set theory's time of discovery or invention is recorded as +1955-00-00T00:00:00Z[9].
- Morse–Kelley set theory's Freebase ID is recorded as /m/07ycnj[10].
- Morse–Kelley set theory's studied by is recorded as foundations of mathematics[11].
- Morse–Kelley set theory's nLab ID is recorded as Morse-Kelley set theory[12].
- Morse–Kelley set theory's Microsoft Academic ID is recorded as 1245316[13].
Why It Matters
Morse–Kelley set theory draws 42 Wikipedia views per month (axiomatic_set_theory category, ranking #2 of 6).[2] It has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[14] It is known by 15 alternative names across languages and contexts.[15]