A model for counting and the natural numbers.