von Neumann–Bernays–Gödel

von Neumann–Bernays–Gödel
Name	von Neumann–Bernays–Gödel
Other names	NBG
Field	Set theory
Introduced	1920s–1930s
Key figures	John von Neumann; Paul Bernays; Kurt Gödel

von Neumann–Bernays–Gödel

The von Neumann–Bernays–Gödel system is a class-set axiomatic set theory formulated in the early 20th century to reconcile class-based frameworks with formal treatments of Zermelo–Fraenkel approaches, and it serves as an alternative foundation used in studies related to Kurt Gödel, John von Neumann, and Paul Bernays. The theory's axioms were shaped in interaction with developments from the Zermelo–Fraenkel programme, responses to paradoxes such as the Russell paradox and debates around the axiom of choice exemplified by the Zermelo 1904 controversy. NBG influenced subsequent work by figures including W. V. O. Quine, Alonzo Church, Gerhard Gentzen, Abraham Robinson, and Dana Scott.

Definition and axiomatic framework

NBG distinguishes between two types of entities, classes and sets, adopting an axiomatization that extends Zermelo–Fraenkel with class comprehension restricted by a schema influenced by formulations in the writings of John von Neumann, Paul Bernays, and later presentations by Kurt Gödel, while addressing Russell's paradox through typing and stratification constraints. Its axiom list parallels axioms discussed by Ernst Zermelo, Abraham Fraenkel, Thoralf Skolem, and contains counterparts to axioms named for Extensionality, Pairing, Union, and Foundation as treated in the literature of W. A. Craig, Alfred Tarski, and Andrey Kolmogorov. Class comprehension in NBG is comparable to comprehension schemes considered by Bertrand Russell in the context of the Principia Mathematica collaboration with Alfred North Whitehead, and its global treatment of classes relates to structural themes in writings of Hermann Weyl and Luitzen Egbertus Jan Brouwer.

Historical development and contributors

The system grew from von Neumann's 1920s notes and Bernays's expositions during collaborations with David Hilbert's school, with Bernays formalizing aspects in works concurrent with Hilbert's Program debates and Gödel's consistency investigations; key milestones involve exchanges with Emil Post, John Conway-era readers, and later clarifications by Kurt Gödel in correspondence with Paul Bernays. NBG's reception intersected with research by W. V. Quine, Alonzo Church, and commentators such as Raymond Smullyan and Willard Van Orman Quine on type theory and class concepts, while contemporaneous developments at institutions like Institute for Advanced Study and Goethe University Frankfurt shaped dissemination. Subsequent formal refinements reflect the influence of Gerhard Gentzen's proof theory, Kurt Gödel's incompleteness theorems, and metamathematical work by Solomon Feferman, Per Martin-Löf, and Saharon Shelah.

Formal properties and metatheorems

NBG enjoys a conservative extension relationship over Zermelo–Fraenkel for set-level statements, a property established through proof-theoretic comparisons using techniques from Gerhard Gentzen and model constructions akin to those studied by Dana Scott and Abraham Robinson. Gödel's incompleteness theorems, developed by Kurt Gödel and later extended in contexts explored by Paul Cohen and Stephen Kleene, apply to NBG in manners discussed by Solomon Feferman, John Burgess, and Harvey Friedman. Decision-theoretic and recursion-theoretic aspects associated with NBG have been analyzed using tools from Alonzo Church's lambda calculus tradition, Alan Turing's computability theory, and structural investigations by Michael Dummett and Hugh Woodin.

Relationships to other set theories

NBG stands in relation to Zermelo–Fraenkel, Morse–Kelley, and class theories advanced by Bertrand Russell and Alonzo Church; compared to Morse–Kelley NBG is weaker in comprehension strength yet more syntactically economical in presentations employed by Paul Bernays and later commentators like Solomon Feferman. Connections to large cardinal research trace through work by Kurt Gödel, Paul Cohen, William Reinhardt, and Hugh Woodin where class-based frameworks provide contexts for formulating strong axioms such as those studied by Gerald Sacks and Donald A. Martin. Category-theoretic treatments invoked by Saunders Mac Lane and Samuel Eilenberg sometimes use NBG-like class notions in expositions by John Baez and F. William Lawvere, while comparisons with type-theoretic foundations reference contributions by Per Martin-Löf and Alonzo Church.

Models and consistency results

Model-theoretic analyses of NBG exploit techniques from Skolem and Łukaszewicz-inspired constructions, and relative consistency proofs often reduce NBG-to-ZF arguments following methods of Paul Cohen's forcing and Kurt Gödel's constructible universe L, with adaptations by Dana Scott and Michael Dummett. Consistency strength comparisons reference work by Solomon Feferman, Harvey Friedman, and Azriel Levy on inner model theory, while investigations into class-forcing and preservation properties involve contributions by Sy Friedman, W. Hugh Woodin, and Thomas Jech. Countable transitive models, Easton-style theorems, and independence results reflect methods rooted in the research programs at Princeton University and University of California, Berkeley where scholars such as Paul Cohen and Robert Solovay advanced forcing techniques.

Applications and influence in mathematics and logic

NBG's class/set distinction has been invoked in expositions and proofs across subjects treated by Alfred Tarski, André Weil, and Alexander Grothendieck, with practical adoption in category-theoretic and algebraic frameworks used by Saunders Mac Lane, Samuel Eilenberg, and Alexander Grothendieck for large-construction handling. Philosophical and foundational debates involving Bertrand Russell, Ludwig Wittgenstein, Hilary Putnam, and W. V. O. Quine have engaged NBG as a testbed for theories of mathematical ontology, while computational and proof-assistant communities informed by Alonzo Church, Alan Turing, and Robin Milner have considered NBG-style class devices in formalizations and type systems used by Geoffrey Irving and Brent Yorgey. NBG's legacy persists in modern set-theoretic pedagogy and research influenced by centers such as the Institute for Advanced Study, Princeton University, and journals edited by scholars including Paul Erdős's contemporaries and later editors like W. Hugh Woodin.

Category:Set theory