About: dbpedia-fr:Schéma_d'axiomes_de_remplacement     Goto   Sponge   NotDistinct   Permalink

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

AttributesValues
rdfs:label
  • Aksjomat zastępowania (pl)
  • Esquema axiomático de reemplazo (es)
  • Schema di assiomi di rimpiazzamento (it)
  • Schéma d'axiomes de remplacement (fr)
  • Substitutionsaxiomet (sv)
  • 替代公理 (zh)
rdfs:comment
  • Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure l'existence d'ensembles qui ne pouvaient être obtenus dans la théorie des ensembles de Ernst Zermelo, et offre ainsi un cadre axiomatique plus fidèle à la théorie des ensembles de Georg Cantor. En ajoutant à la théorie de Zermelo le schéma d'axiomes de remplacement, on obtient la théorie de Zermelo-Fraenkel, notée ZFC ou ZF suivant que l'on comprend ou non l'axiome du choix. Pour abréger, on dit souvent schéma de remplacement, ou schéma de substitution. (fr)
rdfs:seeAlso
sameAs
Wikipage page ID
Wikipage revision ID
dbo:wikiPageWikiLink
page length (characters) of wiki page
dct:subject
prop-fr:wikiPageUsesTemplate
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
dbo:discoverer
has abstract
  • Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure l'existence d'ensembles qui ne pouvaient être obtenus dans la théorie des ensembles de Ernst Zermelo, et offre ainsi un cadre axiomatique plus fidèle à la théorie des ensembles de Georg Cantor. En ajoutant à la théorie de Zermelo le schéma d'axiomes de remplacement, on obtient la théorie de Zermelo-Fraenkel, notée ZFC ou ZF suivant que l'on comprend ou non l'axiome du choix. Pour abréger, on dit souvent schéma de remplacement, ou schéma de substitution. Ce schéma étend le schéma d'axiomes de compréhension de la théorie de Zermelo. Son utilité n'intervient pas immédiatement. Il permet entre autres d'avoir « suffisamment » d'ordinaux, par exemple de définir la « suite » des alephs de Cantor, une suite — indexée par les ordinaux — d'ensembles qui sont eux-mêmes des ordinaux et qui représentent les cardinaux en présence de l'axiome du choix. (fr)
is part of
is dbo:wikiPageWikiLink of
is Wikipage redirect of
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software