bn:00249333n
Noun Named Entity
JA
クリプキ=プラテクの集合論  Kripke-Platek集合論  Kripke–Platek集合論  クリプキ–プラーテク集合論  クリプキ-プラテック集合論
EN
The Kripke–Platek set theory, pronounced, is an axiomatic set theory developed by Saul Kripke and Richard Platek. Wikipedia
Relations
Sources