Concept

Kripke–Platek set theory

Overview

system of axiomatic set theory developed by Saul Kripke and Richard Platek

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Kripke–Platek set theory

• Saul Kripke
• Ian Rumfitt

Related ideas

• First-order logic
• Zermelo–Fraenkel set theory
• Computability theory
• Law of excluded middle
• Model theory
• Natural number
• Ordered pair
• Q.E.D.
• Set theory
• Subset
• Zermelo set theory
• Well-formed formula
• Saul Kripke
• Axiom of choice
• Empty set
• Admissible ordinal
• Axiom of empty set

Place in the tradition

Part of American philosophy.

Explore Kripke–Platek set theory in the interactive graph →