Concept information
Preferred term
axiomes de Peano
Definition(s)
-
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.
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Axiomes_de_Peano)
Broader concept(s)
In other languages
-
English
-
Dedekind-Peano axioms
-
Peano postulates
URI
http://data.loterre.fr/ark:/67375/PSR-DHPKGR9N-4
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}