Source: /wikibot/kripke-platek-set-theory-with-urelements

= Kripke–Platek set theory with urelements
{wiki=Kripke–Platek_set_theory_with_urelements}