Kripke-Platek set theory

From English Wikipedia @ Freddythechick
Redirect page