Axiomes de Peano
axiomes pour l'arithmétique élémentaire sur l'ensemble des entiers naturels
Axiomes de Peano
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.
Lire sur Wikipédia · Image Auteur inconnuUnknown author, Public domain
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement