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

= Kripke–Platek set theory
{wiki=Kripke–Platek_set_theory}