Counting requires a numerical system