von Neumann–Bernays–Gödel set theory
GPTKB entity
AI-created image
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
|
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
von Neumann–Bernays–Gödel set theory
|