Kripke–Platek set theory with urelements
article-link
WikiHQAxiom schema
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link
article-link