Axiomes de Peano

concept

axiomes pour l'arithmétique élémentaire sur l'ensemble des entiers naturels

Propriétés