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)...
97 KB (15,657 words) - 00:24, 3 August 2024
set containing all sets) nor for unrestricted comprehension, thereby avoiding Russell's paradox. Von Neumann–Bernays–Gödel set theory (NBG) is a commonly...
46 KB (6,267 words) - 03:10, 22 August 2024
Zermelo–Fraenkel set theory, the notion of class is informal, whereas other set theories, such as von Neumann–Bernays–Gödel set theory, axiomatize the...
9 KB (1,275 words) - 14:29, 6 June 2024
In set theory and related branches of mathematics, the von Neumann universe, or von Neumann hierarchy of sets, denoted by V, is the class of hereditary...
21 KB (2,809 words) - 09:08, 28 May 2024
Zermelo–Fraenkel set theory (ZF) and its extensions, such as von Neumann–Bernays–Gödel set theory (NBG). It bears certain differences from its descendants...
14 KB (2,207 words) - 08:03, 16 July 2024
replacement. Sets and proper classes. These include Von Neumann–Bernays–Gödel set theory, which has the same strength as ZFC for theorems about sets alone,...
41 KB (5,021 words) - 02:23, 31 August 2024
because it is not itself a set. Universe (mathematics) Grothendieck universe Domain of discourse Von Neumann–Bernays–Gödel set theory — an extension of ZFC...
10 KB (1,327 words) - 06:43, 21 May 2024
first-order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the...
20 KB (3,123 words) - 01:17, 3 June 2023
Urelement (redirect from Atom (set theory))
Kripke–Platek set theory with urelements and the variant of Von Neumann–Bernays–Gödel set theory described by Mendelson. In type theory, an object of...
8 KB (995 words) - 13:02, 29 June 2024
primitive. Bernays recast von Neumann's theory so that classes and sets were primitive. Bernays's theory, with modifications by Kurt Gödel, is known as von Neumann–Bernays–Gödel...
10 KB (954 words) - 09:17, 3 July 2024
Cantor's paradox (category Paradoxes of naive set theory)
handled in axiomatic set theory by declaring that this collection is not a set but a proper class; in von Neumann–Bernays–Gödel set theory it follows from...
5 KB (734 words) - 07:41, 20 November 2023
Axiom of limitation of size (category Axioms of set theory)
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
Surreal number (category Combinatorial game theory)
division); as such, they form an ordered field. If formulated in von Neumann–Bernays–Gödel set theory, the surreal numbers are a universal ordered field in the...
75 KB (11,433 words) - 14:08, 29 August 2024
Axiom of constructibility (category Axioms of set theory)
Kurt Gödel's proof of the relative consistency of the axiom of choice and the generalized continuum hypothesis to Von Neumann–Bernays–Gödel set theory. (The...
7 KB (987 words) - 03:18, 10 August 2024
Russell's paradox (redirect from Set of all sets that do not contain themselves)
a subset of any set X, and is therefore not a set in ZFC. In some extensions of ZFC, notably in von Neumann–Bernays–Gödel set theory, objects like R are...
31 KB (4,600 words) - 20:26, 24 July 2024
theorem von Neumann stability analysis von Neumann universal constructor von Neumann universe von Neumann–Bernays–Gödel set theory von Neumann–Morgenstern...
4 KB (376 words) - 15:09, 16 December 2023
set theory by the axioms of Zermelo–Fraenkel set theory. Alternative set theories include: Vopěnka's alternative set theory Von Neumann–Bernays–Gödel...
1 KB (127 words) - 18:06, 8 February 2024
sets. In its use of classes, AST differs from other alternative set theories such as Morse–Kelley set theory and Von Neumann–Bernays–Gödel set theory...
9 KB (1,332 words) - 20:05, 29 July 2024
Axiom schema of specification (category Axioms of set theory)
complement in positive set theory. In von Neumann–Bernays–Gödel set theory, a distinction is made between sets and classes. A class C is a set if and only if...
15 KB (2,194 words) - 20:50, 26 August 2024
set theory Tarski–Grothendieck set theory Von Neumann–Bernays–Gödel set theory Zermelo–Fraenkel set theory Zermelo set theory Set (mathematics) Set-builder...
9 KB (448 words) - 16:05, 3 August 2022
theorem, von Neumann obtained a proof of the second incompleteness theorem, which he announced to Gödel in a letter dated November 20, 1930. Gödel had independently...
92 KB (12,132 words) - 22:29, 5 July 2024
Kurt Gödel. It's Not All In The Numbers: Gregory Chaitin Explains Gödel's Mathematical Complexities. Gödel photo gallery. (archived) Kurt Gödel MacTutor...
48 KB (5,374 words) - 02:22, 27 August 2024
set theory; and D e f ( V κ ) {\displaystyle Def(V_{\kappa })} is one of the intended models of Mendelson's version of Von Neumann–Bernays–Gödel set theory...
16 KB (2,223 words) - 07:35, 21 August 2024
Axiom schema (section Finitely axiomatized theories)
of ZFC are also theorems of von Neumann–Bernays–Gödel set theory, but the latter can be finitely axiomatized. The set theory New Foundations can be finitely...
4 KB (471 words) - 20:24, 6 December 2023
Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number...
11 KB (1,530 words) - 00:00, 24 August 2024
years". Rubin's dissertation was entitled Free Algebras in Von Neumann–Bernays–Gödel Set Theory and Positive Elementary Inductions in Reasonable Structures...
9 KB (730 words) - 07:45, 28 July 2024
Semiset (redirect from Vopěnka's alternative set theory)
Petr Hájek (1972). It is based on a modification of the von Neumann–Bernays–Gödel set theory; in standard NBG, the existence of semisets is precluded by...
3 KB (327 words) - 16:40, 4 September 2023
Zermelo–Fraenkel set theory with choice, abbreviated ZFC, or some very similar system of axiomatic set theory like Von Neumann–Bernays–Gödel set theory, a conservative...
34 KB (4,926 words) - 00:35, 19 August 2024
Conservative extension (category Model theory)
arithmetic). Von Neumann–Bernays–Gödel set theory ( N B G {\displaystyle {\mathsf {NBG}}} ) is a conservative extension of Zermelo–Fraenkel set theory with the...
6 KB (861 words) - 18:30, 11 April 2024
Axiom of global choice (category Axioms of set theory)
with τ as a witness). In the language of von Neumann–Bernays–Gödel set theory (NBG) and Morse–Kelley set theory, the axiom of global choice can be stated...
3 KB (458 words) - 07:25, 6 March 2024