Axiomes de Peano
Touche la carte pour la faire tourner.
Peu commune
Axiomes de Peano
Axiomes pour l'arithmétique élémentaire sur l'ensemble des entiers naturels
1/1Un exemplaire au monde.
- Aura (depuis 2015)
- 174 604
- Rang de la carte
- N° 79 388
- Type
- Notion
Extrait.
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.
Crédits
Illustration
- Auteur
- Unknown author Unknown author
- Licence
- Public domain
- Source
- Giuseppe Peano.jpg · Wikimedia Commons
- Modifications
- Recadrage et effets visuels Devon (cadre, reflets holographiques).
Texte
Résumé et adapté de l’article « Axiomes de Peano », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.