Definition:Morse-Kelley Set Theory

From ProofWiki
Jump to navigation Jump to search

Definition

Morse-Kelley set theory is a system of axiomatic set theory.

It is a stronger form of Zermelo-Fraenkel-Skolem set theory which allows not only for first order formulas to specify the existence of properties of sets, but also defines properties by quantifying over properties as well as over sets.


This article is incomplete.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by expanding it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Stub}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.


Source of Name

This entry was named for Anthony Perry Morse and John Leroy Kelley.


Historical Note

Morse-Kelley set theory was devised for the purpose of extending Zermelo-Fraenkel-Skolem set theory so as to allow properties themselves to be further specified.

While it is no bad idea to allow further formal axioms to extend the range of what can be defined, it is not possible to formally provide for all possible properties by means of an axiom schema.

This was proven by Gödel's Incompleteness Theorems.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Morse-Kelley_Set_Theory&oldid=595834"