About: dbpedia-fr:Théorie_des_ensembles_de_von

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdfs:label	Neumann-Bernays-Gödel-Mengenlehre (de) Teoría de conjuntos de Von Neumann-Bernays-Gödel (es) Théorie des ensembles de von Neumann-Bernays-Gödel (fr) Von Neumann-Bernays-Gödel-verzamelingenleer (nl) Теорія множин фон Неймана — Бернайса — Геделя (uk)
rdfs:comment	La théorie des ensembles de von Neumann–Bernays–Gödel, abrégée en NBG ou théorie des classes, est une théorie axiomatique essentiellement équivalente à la théorie ZFC de Zermelo-Fraenkel avec axiome du choix (et avec les mêmes variantes possibles), mais dont le pouvoir expressif est plus riche. Elle peut s’énoncer en un nombre fini d’axiomes, et donc sans schéma, au contraire de ZFC (voir schéma d'axiomes de compréhension et schéma d'axiomes de remplacement). Ceci n’est possible que grâce à une modification du langage de la théorie, qui permet de parler directement de classe, une notion par ailleurs utile en théorie des ensembles et qui apparaissait déjà, de façon assez informelle, dans les écrits de Georg Cantor dès avant 1900. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/vonNeumann-Bernays-GoedelSetTheory.html https://www.britannica.com/topic/Neumann-Bernays-Godel-set-theory
sameAs	dbr:Von_Neumann–Bernays–Gödel_set_theory wikidata:Q278770 dbpedia-cs:Von_Neumannova–Bernaysova–Gödelova_teorie_množin dbpedia-de:Neumann-Bernays-Gödel-Mengenlehre dbpedia-es:Teoría_de_conjuntos_de_Von_Neumann-Bernays-Gödel dbpedia-hu:Neumann–Bernays–Gödel-halmazelmélet dbpedia-it:Teoria_degli_insiemi_di_Von_Neumann-Bernays-Gödel dbpedia-ko:폰_노이만-베르나이스-괴델_집합론 dbpedia-nl:Von_Neumann-Bernays-Gödel-verzamelingenleer dbpedia-pms:Teorìa_dj'ansem_ëd_Bernays-Gödel dbpedia-pt:Teoria_dos_conjuntos_de_Von_Neumann-Bernays-Gödel dbpedia-ru:Система_аксиом_фон_Неймана_—_Бернайса_—_Гёделя dbpedia-uk:Теорія_множин_фон_Неймана_—_Бернайса_—_Геделя dbpedia-zh:冯诺伊曼-博内斯-哥德尔集合论 http://g.co/kg/m/02lxxt http://ma-graph.org/entity/51503804
Wikipage page ID	1466418 (xsd:integer)
Wikipage revision ID	191251055 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_ensembles Abraham Fraenkel Akihiro Kanamori Axiom of extensionality Axiom of regularity Axiom of power set Axiom of empty set Axiom of infinity Axiom of pairing Axiom of union Axiom of limitation of size Axiom of choice First-order logic dbpedia-fr:Chapman_&_Hall dbpedia-fr:Classe_(mathématiques) Logical connective dbpedia-fr:Couple_(mathématiques) dbpedia-fr:Dover_Publications dbpedia-fr:Ensemble Topological space dbpedia-fr:Famille_(mathématiques) dbpedia-fr:Formule_atomique dbpedia-fr:Georg_Cantor Harvard University Press dbpedia-fr:Hypothèse_du_continu Iteration Jean van Heijenoort dbpedia-fr:John_L._Kelley John von Neumann dbpedia-fr:Kurt_Gödel List of mathematics journals dbpedia-fr:Lois_de_De_Morgan dbpedia-fr:N-uplet dbpedia-fr:Paire Russell's paradox dbpedia-fr:Paul_Bernays dbpedia-fr:Pergamon_Press dbpedia-fr:Permutation dbpedia-fr:Permutation_circulaire Princeton University Press dbpedia-fr:Produit_cartésien Quantifier (logic) Existential quantification Richard Montague dbpedia-fr:Schéma_d'axiomes dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_des_catégories dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Kripke-Platek dbpedia-fr:Théorie_des_ensembles_de_Morse-Kelley dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Variable_libre
Link from a Wikipage to an external page	http://math.bu.edu/people/aki/17a.pdf%7Crevue=Bulletin
page length (characters) of wiki page	37562 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_des_ensembles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:%3C/nowiki%3E''x''%3Cnowiki%3E%7D,%7B%3C/nowiki%3E''x'',''y''%3Cnowiki%3E dbpedia-fr:Modèle:= dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Retrait dbpedia-fr:Modèle:Google_Livres dbpedia-fr:Modèle:Indente dbpedia-fr:Modèle:%3C/nowiki%3E''x''%3Cnowiki%3E%7D,_%7B%3C/nowiki%3E''x'',_''y''%3Cnowiki%3E
prov:wasDerivedFrom	wikipedia-fr:Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel?oldid=191251055&ns=0
prop-fr:année	1937 (xsd:integer) 1940 (xsd:integer) 1958 (xsd:integer) 1961 (xsd:integer)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 4 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software