In the foundations of mathematics, von Neumann–Bernays–Gödel set theory is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory. NBG introduces the notion of class, which is a collection of sets defined by... Wikipedia