anyway, my point was that the successor function, which is the basis of all mathematics, doesnt give us one, two, and three. it gives us first, second, and third. so the whole question of what is a 'number' may be meaningless.
for the record, I consider that very relevant to 'math'.
you have to distinguish between 'types' and 'instances'. instances are real world objects. types are not. distinguishing an instance is in theory no different from distinguishing a type.
