bn:00249333n
Noun Named Entity
AR
No term available
EN
The Kripke–Platek set theory, pronounced, is an axiomatic set theory developed by Saul Kripke and Richard Platek. Wikipedia
Relations
Sources