History

for article: Kripke–Platek set theory with urelements