Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Von_Neumann–Bernays–Gödel_set_theory> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Von_Neumann–Bernays–Gödel_set_theory abstract "In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only if it is provable in ZFC. The ontology of NBG includes proper classes, objects having members but that cannot be members of other entities. NBG's principle of class comprehension is predicative; quantified variables in the defining formula can range only over sets. Allowing impredicative comprehension turns NBG into Morse-Kelley set theory (MK). NBG, unlike ZFC and MK, can be finitely axiomatized.".
- Von_Neumann–Bernays–Gödel_set_theory wikiPageID "528491".
- Von_Neumann–Bernays–Gödel_set_theory wikiPageRevisionID "604022445".
- Von_Neumann–Bernays–Gödel_set_theory author Matthew_Szudzik.
- Von_Neumann–Bernays–Gödel_set_theory id "4395".
- Von_Neumann–Bernays–Gödel_set_theory id "vonNeumann-Bernays-GoedelSetTheory".
- Von_Neumann–Bernays–Gödel_set_theory title "von Neumann-Bernays-Gödel Set Theory".
- Von_Neumann–Bernays–Gödel_set_theory title "von Neumann-Bernays-Gödel set theory".
- Von_Neumann–Bernays–Gödel_set_theory subject Category:Systems_of_set_theory.
- Von_Neumann–Bernays–Gödel_set_theory comment "In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only if it is provable in ZFC. The ontology of NBG includes proper classes, objects having members but that cannot be members of other entities.".
- Von_Neumann–Bernays–Gödel_set_theory label "Neumann-Bernays-Gödel-Mengenlehre".
- Von_Neumann–Bernays–Gödel_set_theory label "Teoria degli insiemi di Von Neumann-Bernays-Gödel".
- Von_Neumann–Bernays–Gödel_set_theory label "Teoria dos conjuntos de Von Neumann-Bernays-Gödel".
- Von_Neumann–Bernays–Gödel_set_theory label "Teoría de conjuntos de Von Neumann-Bernays-Gödel".
- Von_Neumann–Bernays–Gödel_set_theory label "Théorie des ensembles de von Neumann-Bernays-Gödel".
- Von_Neumann–Bernays–Gödel_set_theory label "Von Neumann-Bernays-Gödel-verzamelingenleer".
- Von_Neumann–Bernays–Gödel_set_theory label "Von Neumann–Bernays–Gödel set theory".
- Von_Neumann–Bernays–Gödel_set_theory label "Система аксиом фон Неймана — Бернайса — Гёделя".
- Von_Neumann–Bernays–Gödel_set_theory label "冯诺伊曼-博内斯-哥德尔集合论".
- Von_Neumann–Bernays–Gödel_set_theory sameAs Von_Neumann%E2%80%93Bernays%E2%80%93G%C3%B6del_set_theory.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Von_Neumannova-Bernaysova-Gödelova_teorie_množin.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Neumann-Bernays-Gödel-Mengenlehre.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Teoría_de_conjuntos_de_Von_Neumann-Bernays-Gödel.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Teoria_degli_insiemi_di_Von_Neumann-Bernays-Gödel.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Von_Neumann-Bernays-Gödel-verzamelingenleer.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Teoria_dos_conjuntos_de_Von_Neumann-Bernays-Gödel.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Q278770.
- Von_Neumann–Bernays–Gödel_set_theory sameAs Q278770.
- Von_Neumann–Bernays–Gödel_set_theory wasDerivedFrom Von_Neumann–Bernays–Gödel_set_theory?oldid=604022445.