Neumann-Bernays-Gödel set theory
Learn about this topic in these articles:
major reference
- In set theory: The Neumann-Bernays-Gödel axioms
The second axiomatization of set theory (see the Neumann-Bernays-Gödel axiomsNeumann-Bernays-Gödel axioms.
Read More
history of logic
- In history of logic: Zermelo-Fraenkel set theory (ZF)
…is now known as von Neumann-Bernays-Gödel set theory, or NBG. ZF was soon shown to be capable of deriving the Peano Postulates by several alternative methods—e.g., by identifying the natural numbers with certain sets, such as 0 with the empty set (Ø), 1 with the singleton empty set—the set containing…
Read More
use in foundations of mathematics
- In foundations of mathematics: Set theoretic beginnings
Mathematicians made use of the Neumann-Gödel-Bernays set theory, which distinguishes between small sets and large classes, while logicians preferred an essentially equivalent first-order language, the Zermelo-Fraenkel axioms, which allow one to construct new sets only as subsets of given old sets. Mention should also be made of the system of…
Read More
work of Bernays
- In Paul Isaak Bernays
…von Neumann on logic and set theory; these modifications were further developed by the logician Kurt Gödel.
Read More