Re: Numerics
I don't think that the "Natural" numbers at all universal. They are actually rather abstract - although they do seem to fit nicely with the way we reason. I think we could easily do without them, getting by on a mathematical system based on rational (and irrational) numbers and inequalities.
The closer I look at integers, the less real they seem. Looking out into my garden I see "1 tree", and then a little way off another "1 tree". But this is actually a piece of mathematical modelling on my part - I have defined an mass of vegetation as "1 tree",and another different mass as another "1 tree". If I looked a bit closer I would see that it includes things that aren't tree, and might even be "2" trees that have grown up together to form a single canopy.
Furthermore, if I chopped away half a tree, I still have "1 tree" remaining! In fact I could continue pruning until I chose to recategorise the result as "1 stump".
The point here is that mathematics is a way that we model the universe. Because it is simpler than the actual universe, we can use it make useful predictions.
I think that the question of the universality of mathematics might rest upon whether mathematics is created or discovered. If the universe really is mathematically based, then we are discovering (at least some) mathematics, and maybe it really is universal.
The problem is that mathematics is an abstraction. Even though the universe appears to have a mathematical basis, I don't see how we could ever prove it, because the proof would only apply to the mathematical model of the universe - not the universe itself.
Oh dear - I seem to be wandering into philosophy.
PS. If there are any fallacies in the above - please let me know.