When mathematical truths and their applicability to the physical world are discussed, there's a certain kind of flawed (in my opinion) thinking that is often employed, and it comes out in sentences like "rocks behave isomorphically to integers, while clouds don't", or "two apples plus two apples is four apples, unless someone stole one from the bowl", and so on. I'll try to explain why I consider such reasoning flawed, and what are the more suitable descriptions of what's going on with the apples and the rocks and the clouds and the drops of water and such.
Two mistakes combine together and create a shared state of confusion; the mistakes themselves are almost independent and I think they stand or fall separately.
1. The first mistake is conflating counting things and bringing things together spatially. One usually goes with the other because that's how we learn to count, by looking at groups of things located closely together - but it doesn't have to be this way. When we say "take 2 apples and add 2 more apples, now count - you have 4 apples", we automatically imagine the two additional apples being brought in and placed next to the two original ones, but that's just a mental crutch you can easily do without. Let me show you: suppose I ask you to consider two sheep in England and two more sheep in Australia - how many sheep are there together? You see the English sheep in your mind's eye, there they are standing, and you count one, two. Now please resist the temptation to teleport the two Australian sheep and place them next in sequence. Instead, just fly with your mind's eye all the way to Australia in a split second and home on that field - there they are - and continue counting: three, four. There, you just counted 2+2 sheep without bringing them together in space, in real life or your imagination. There's nothing to it and you do it all the time - if someone asks you to count the number of chairs in a large and busy-looking living room, you don't bring them together in your mind, you just gaze-travel over the room and count them off one by one.
Now consider the implication of that to clouds or other such objects. Suppose someone tells you "well, apples obey the law of arithmetics, but one drop of water plus another drop of water equals one larger drop of water, not two" - it should be clear that they are naively conflating spatial movement and adding/counting. Adding two apples and two apples is not a spatial operation of bringing them together, it's a mental act of viewing them as one whole collection that can be counted. It's just that bringing them spatially together, in reality or your imagimation, is the easiest way to carry that "viewing" out. For drops of water or clouds, the spatial operation becomes a distraction, so just resist it. One cloud plus one cloud most certainly equals two clouds: just count them in your mind, here's one and there's two, maybe drifting next to each other, or maybe they're on separate continents. You don't have to merge them - nothing about "+" says you do.
2. The second mistake is a sort of a map-territory confusion where we naively grant the territory the power of holding discrete objects for our needs. It may be helpful to realize and to remember that at least on our macro scale of reality, on the scale of things we perceive with our senses, discrete, separate objects are a feature of the map, not the territory; they exist in your mind, not the reality. In the reality, there's just a lot of atoms everywhere (I'm simplifying; to be more thorough, think of elementary particles and many-worlds if you feel like it, and the virtual vacuum particles and so on) with no "natural" way of separating them into different conglomerates.
Normally, this really isn't an important point to insist on, and there's no harm whatsoever in just thinking of reality as being made up of objects like apples and clouds and whatnot. But imagine now an argument over an issue like "Was 2+2=4 before humans were around to invent that equation? I believe that long before humans, on an Earth devoid of life, when two rocks rolled onto a beach with three rocks already on it, there were five rocks altogether on the beach". What's really happening in that story? Well, there's the spatial confusion dealt with above, when we find it easiest to imagine the two rocks to be added rolling into the scene. But even before that, zoom in on those three rocks on the beach. What are they? What business do you have saying there's a "rock" there? There's a bunch of atoms of various kinds, and lots of other atoms (of air, sand, etc.) around and next to those, with somewhat different densities and behavior, but no definite boundary between any of them. On the nanoscale, there's constant exchange of atoms everywhere. To say "this is a discrete object, a rock" you need to be able to somehow ignore this inherently fuzzy boundary, maybe by picking a scale and smoothing out all the fine details below it - in human experience, the crudeness of our senses does that job for us, but our senses aren't there in that picture. The reality doesn't know or care about "rocks" - there's just atoms.
This isn't to say, I find it important to note, that the existence of three rocks on that beach is somehow a "subjective" claim. Imagine that there are alien nanobots everywhere on that Earth, recording everything faithfully on the nanoscale and storing the data somewhere for someone to discover; a billion years later, you come along, parse the data, reconstruct the scene - and of course you'll then recognize that there were three rocks on the beach. The fact that there are three rocks on that beach is an objective fact of nature; it's just that the meaning of that statement relies on the procedure of discretization being carried out, on someone or something defining what we consider a single discrete object and how we isolate it; and nature won't do that for you. You do that with your brain. That's why counting - and addition - are inherently mental acts carried out on mental constructs; on the map, not the territory.
All this is not to say that math is "invented" rather than "discovered"; I think my analysis is silent on that, and both platonism and formalism remain possible. It's just that an example of five rocks on the beach before humans are around is not helpful in resolving that question - without human-style discretization you can't meaningfully say it was five rocks there, rather than just a bunch of atoms. It may still be true - I certainly believe so - that the laws that govern the behavior of discrete objects, though they are normally mental entities, are universal and 2+2 was 4 before humans were around and in any alien mentality.
(It remains to acknowledge that reality may be discrete on the micro level - spacetime itself may be discrete, we can certainly speak of single photons, etc. This is irrelevant on the level of our everyday perceptions, however - the level of apples, rocks, clouds and so on).
I like your attempt to see where the focus of our statements shifts back onto the territory, but in the crucial place I'm not sure how an IsRock predicate may or may not "obey counting axioms" - not sure what this means.
My take on this: a "rock" is a a concept that exists in the map, not in the territory. "Is a rock" (and, much more importantly and centrally, "Is an object") is a predicate that exists within the map. However, "this is a rock" is a statement about the territory, not the map. How's that work? When I state "this is a rock", what I'm saying is that "out there" in reality there's Stuff which, when mediated through my senses and subjected to the discretization process my map comes equipped with, will yield an Object that my map will recognize as a Rock. Not all possible configurations of Stuff in reality are such that this process will finish with a Rock in my map. By saying "this is a rock", I claim a constraint on the Stuff in reality that ensures the successful completion of such a process (that I may or may not actually carry out).
Suppose the state of the universe at a particular time can be considered as a set of atoms in R^3.
Now let's suppose we choose IsIsSomeRocksPredicate such that IsIsSomeRocksPredicate(P) implies: