peano arithmetic (an axiomatiazation of counting) isn't how we count. It is how we make other things count for us.