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...

Gödel 1931. von Neumann 1923, von Neumann 1928b. See also the English-language presentation of von Neumann's "general recursion theorem" by Bernays 1991...

Italian. By age eight, von Neumann was familiar with differential and integral calculus, and by twelve he had read Borel's La Théorie des Fonctions. He was...

Heijenoort, Jean (1967), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, pp. 393–413 von Neumann, John (1928), "Über die Definition durch...

Von Neumann–Bernays–Gödel set theory (NBG) and Morse–Kelley set theory. Later expositions of class theories—such as those of Paul Bernays, Kurt Gödel...

Kapitel 13-22 von Aristoteles' Analytica priora I (in German). Berlin: Junker und Dünnhaupt Verlag. p. 4. Bourbaki, N. (1954). Théorie des ensembles (in French)...

membership alone is sufficient)". This axiomatization is now known as von Neumann–Bernays–Gödel set theory. In 1939, Bourbaki, in addition to giving the well-known...

Exchange Inc. Answer. Retrieved 2022-08-10. Bourbaki, N. (1954). Théorie des ensembles. Paris: Hermann & Cie, Éditeurs. p. 14. Edgington, Dorothy (2008)...

Other formalizations of set theory have been proposed, including von Neumann–Bernays–Gödel set theory (NBG), Morse–Kelley set theory (MK), and New Foundations...

antinomies de Russell et de Burali-Forti et le problème fundamental de la théorie des ensembles" and "Remarques sur la théorie des ensembles et les antinomies...