Compter est tout ce que nous avons besoin de nous rappeler pour construire l'ensemble des entiers naturels. Ou du moins pour nous faire une idée de ce qu'il est.

Et ensuite, un peu de théorie, avec les axiomes de Peano, à la base de la construction formelle de l'ensemble N des entiers naturels.