About: Axiom of infinity

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

About: Axiom of infinity Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Axiom of infinity (en) Axioma de l'infinit (ca) Axioma del infinito (es) Axioma do infinito (pt) Axiome de l'infini (fr) Аксиома бесконечности (ru) Аксіома нескінченності (uk)
rdfs:comment	En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels. Il apparait dans la première axiomatisation de la théorie des ensembles, publiée par Ernst Zermelo en 1908, sous une forme cependant un peu différente de celle exposée ci-dessous. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/AxiomofInfinity.html http://philpapers.org/browse/the-axiom-of-infinity https://ncatlab.org/nlab/show/axiom_of_infinity https://www.britannica.com/topic/axiom-of-infinity https://www.jstor.org/topic/axiom-of-infinity
sameAs	Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity Axiom of infinity
Wikipage page ID	77878 (xsd:integer)
Wikipage revision ID	190555422 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Infini category-fr:Axiome_de_la_théorie_des_ensembles dbpedia-fr:Addition_dans_l'arithmétique_de_Peano Axiom Axiom of extensionality Axiom of regularity Axiom of empty set Axiom of pairing Axiom of union Peano axioms First-order logic dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Dmitry_Mirimanoff dbpedia-fr:Définition_par_récurrence Well-order Infinite set Transitive set Empty set Natural number dbpedia-fr:Ernst_Zermelo Transitive closure Injective function John von Neumann dbpedia-fr:Langage_formel dbpedia-fr:Nombre_ordinal Limit ordinal Successor ordinal Burali-Forti paradox Mathematical induction Partially ordered set dbpedia-fr:Récurrence_transfinie dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Schéma_d'axiomes_de_remplacement Singleton (mathematics) dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Équipotence dbpedia-fr:Mathématiques
page length (characters) of wiki page	14432 (xsd:nonNegativeInteger)
dct:subject	category-fr:Infini category-fr:Axiome_de_la_théorie_des_ensembles
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Exp dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Énoncé dbpedia-fr:Modèle:Halmos65 dbpedia-fr:Modèle:Krivine98
prov:wasDerivedFrom	wikipedia-fr:Axiome_de_l'infini?oldid=190555422&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Axiome_de_l'infini
has abstract	En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels. Il apparait dans la première axiomatisation de la théorie des ensembles, publiée par Ernst Zermelo en 1908, sous une forme cependant un peu différente de celle exposée ci-dessous. (fr)
is part of	dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel
is dbo:wikiPageWikiLink of	dbpedia-fr:Axiome_De_L'infini dbpedia-fr:Axiome_de_l’infini Map (mathematics) Axiom of power set Peano axioms Closure (mathematics) dbpedia-fr:Construction_des_entiers_naturels Countable set Finite set Infinite set Transitive set

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, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software