En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.

Property Value
dbo:abstract
  • En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique. (fr)
  • En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique. (fr)
dbo:namedAfter
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 12704 (xsd:integer)
dbo:wikiPageInterLanguageLink
dbo:wikiPageLength
  • 17847 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 191357899 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1888 (xsd:integer)
  • 1889 (xsd:integer)
  • 2006 (xsd:integer)
prop-fr:annéePremièreÉdition
  • 1993 (xsd:integer)
prop-fr:auteur
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • de (fr)
  • en (fr)
  • la (fr)
  • de (fr)
  • en (fr)
  • la (fr)
prop-fr:lieu
  • Turin (fr)
  • Brunswick (fr)
  • Turin (fr)
  • Brunswick (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Dedekind (fr)
  • Dedekind (fr)
prop-fr:numéroD'édition
  • 2 (xsd:integer)
prop-fr:prénom
  • Richard (fr)
  • Richard (fr)
prop-fr:titre
  • Arithmetices principia, nova methodo exposita (fr)
  • Notes on Set Theory (fr)
  • Was sind und was sollen die Zahlen? (fr)
  • Arithmetices principia, nova methodo exposita (fr)
  • Notes on Set Theory (fr)
  • Was sind und was sollen die Zahlen? (fr)
prop-fr:traductionTitre
  • Les Nombres. Que sont-ils et à quoi servent-ils ? (fr)
  • Les principes de l'arithmétique, nouvelle méthode d'exposition (fr)
  • Les Nombres. Que sont-ils et à quoi servent-ils ? (fr)
  • Les principes de l'arithmétique, nouvelle méthode d'exposition (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Springer (fr)
  • Vieweg (fr)
  • Bocca (fr)
  • Springer (fr)
  • Vieweg (fr)
  • Bocca (fr)
dct:subject
rdfs:comment
  • En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique. (fr)
  • En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du XIXe siècle par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique. (fr)
rdfs:label
  • Axiomas de Peano (es)
  • Axiomas de Peano (pt)
  • Axiomes de Peano (ca)
  • Axiomes de Peano (fr)
  • Peano axioms (en)
  • Аксиомы Пеано (ru)
  • Аксіоми Пеано (uk)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:renomméPour of
is oa:hasTarget of
is foaf:primaryTopic of