[lmarinho]

My usual answer is that math isn't too concerned with what things are, but with how they work with each other. So the answer would be: anything that works like the Peano axioms says it should. The "what it is" can be filled in later, and that's what makes math so powerful.