Cart (0)Free Online Dictionary
Kripke–Platek set theory
| Wikipedia English The Free Encyclopedia |  Download this dictionary |
Kripke–Platek set theory
The Kripke–Platek axioms of set theory (KP) are a system of axioms for axiomatic set theory developed by Saul Kripke and Richard Platek. The axiom system, written in first-order logic, has an infinite number of axioms because an infinite axiom schema is used.
| See more at Wikipedia.org... |
© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License
| Kripke–Platek set theory in English
You think you have ethics...
Take the survey NOW!