= Kripke–Platek set theory with urelements {wiki=Kripke–Platek_set_theory_with_urelements}
Back to article page