Concept information
Terme préférentiel
axiomes de Peano
Définition(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)
Concept(s) générique(s)
Traductions
-
anglais
-
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}}