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
Kurt Gödel, c. 1926
Paul Bernays
Zermelo–Fraenkel set theory
Videos
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate
Von Neumann–Bernays–Gödel set theory
…In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory (ZFC). NBG introduces the notion of class, which is a collection of sets defined by a formula whose quantifiers range only over sets. NBG can define…
Ernst Zermelo (1871–1953)