von Neumann–Bernays–Gödel set theory
GPTKB entity
Statements (25)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:set_theory
|
gptkbp:abbreviation |
gptkb:NBG
|
gptkbp:allows |
talking about classes
|
gptkbp:consistencyStrength |
same as Zermelo–Fraenkel set theory
|
gptkbp:contrastsWith |
gptkb:Zermelo–Fraenkel_set_theory
|
gptkbp:developedBy |
gptkb:John_von_Neumann
gptkb:Kurt_Gödel gptkb:Paul_Bernays |
gptkbp:distinción |
proper classes
sets |
gptkbp:firstPublished |
1920s
|
gptkbp:hasAxiom |
finite set of axioms
|
https://www.w3.org/2000/01/rdf-schema#label |
von Neumann–Bernays–Gödel set theory
|
gptkbp:influenced |
gptkb:Morse–Kelley_set_theory
|
gptkbp:linguisticFeature |
two sorts: sets and classes
|
gptkbp:namedAfter |
gptkb:John_von_Neumann
gptkb:Kurt_Gödel gptkb:Paul_Bernays |
gptkbp:publishedIn |
gptkb:Kurt_Gödel's_1940_monograph
gptkb:Paul_Bernays'_papers_(1937–1954) |
gptkbp:type |
conservative extension of Zermelo–Fraenkel set theory
|
gptkbp:usedIn |
gptkb:logic
foundations of mathematics |
gptkbp:bfsParent |
gptkb:Paul_Bernays
|
gptkbp:bfsLayer |
4
|