Thanks for the answer! But I am still confused regarding the ontological status of "2" under many of the philosophical positions. Or, better yet, the ontological status of the real numbers field R. Formalism and platonism are easy: under formalism, R is a symbol that has no referent. Under platonism, R exists in the HTW. If I understand your preferred position correctly, it says: "any system that satisfies axioms of R also satisfies the various theorems about it". But, assuming the universe is finite or discrete, there is no physical system that satisfies axioms of R. Does it mean your position reduces to formalism then?
There's no actual system that satisfies the axioms of the reals, but there (logically) could be. If you like, you could say that there is a "possible system" that satisfies those axioms (as long as they're not contradictory!).
The real answer is that talk of numbers as entities can be thought of as syntactic sugar for saying that certain logical implications hold. It's somewhat revisionary, in that that's not what people think that they are doing, and people talked about numbers long before they knew of any axiomatizations for them, but if you thi...
Thagard (2012) contains a nicely compact passage on thought experiments: