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... 97 KB (15,521 words) - 03:54, 3 March 2024 |
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... 20 KB (2,732 words) - 07:26, 24 April 2024 |
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... 24 KB (2,937 words) - 12:39, 8 April 2024 |
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... 47 KB (6,684 words) - 07:45, 6 March 2024 |
Logical connective (category CS1 German-language sources (de)) 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)... 31 KB (3,053 words) - 21:26, 18 April 2024 |
Mathematical logic (category CS1 German-language sources (de)) 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... 68 KB (8,329 words) - 22:09, 28 April 2024 |
Exchange Inc. Answer. Retrieved 2022-08-10. Bourbaki, N. (1954). Théorie des ensembles. Paris: Hermann & Cie, Éditeurs. p. 14. Edgington, Dorothy (2008)... 16 KB (1,745 words) - 22:32, 26 April 2024 |
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... 78 KB (10,636 words) - 22:16, 7 January 2024 |
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... 21 KB (3,440 words) - 22:07, 27 November 2023 |