| English Wikipedia - The Free Encycl... |
Kripke–Platek set theory
The Kripke–Platek axioms of set theory (KP), pronounced , are a system of axiomatic set theory based on the ideas of and .
| 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
