bn:00249333n
Noun Named Entity
NL
kripke-platek verzamelingenleer
EN
The Kripke–Platek set theory, pronounced, is an axiomatic set theory developed by Saul Kripke and Richard Platek. Wikipedia
Relations
Sources