List of alternative set theories
article-link
What links here
Kripke–Platek set theory
Kripke–Platek set theory with urelements
article-link
Inner model
article-link
Descriptive set theory
article-link
KP
article-link
Axiom of empty set
article-link
Axiom of power set
article-link
Saul Kripke
article-link
Set theory
article-link
Mathematical logic
article-link
Kripke-Platek axioms
redirect