von Neumann–Bernays–Gödel set theory

GPTKB entity