Kripke–Platek set theory

GPTKB entity