bn:00249333n
Noun Named Entity
SYL
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