Disambiguation evidence for Kripke–Platek set theory via surface form

"Kripke–Platek set theory"

Triples (1)

Triples where some other subject referred to this entity as "Kripke–Platek set theory".

set theory → hasAxiomSystem →
"Kripke–Platek set theory"
↳ resolves to Kripke–Platek set theory
ⓘ