Counting is all we need to remember to construct the natural integers set. Or at least to make ourselves an idea of what it is.

And then, a little bit theory, with the Peano axioms, at the root of the formal construction of the set N of natural integers.