 Kripke–Platek set theory

Kripke–Platek set theory (KP) is a foundational system of set theory that was introduced by Saul Kripke and Richard Platek in the context of investigating the foundations of mathematics, particularly in relation to computability and constructive mathematics. KP is primarily notable for its focus on the notion of set comprehension while placing restrictions on the kinds of sets that can be formed.