English Wikipedia - The Free Encycl...
Download this dictionary
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