You have it right, as far as this isn't semantics, it doesn't matter what we name a number, all that is is a title on a position in a sequence.

I'm not compelled by a human model of the universe being proof of some fundamental property of the universe. We know our models are flawed, and we're not sure exactly how or where.

And I don't think I care. Back to what I said at the start, it doesn't matter whether or not numbers are real, numbers are useful.
But asserting that utility as a proof takes it a step too far, IMO.


FWIW, if sequences are not nonsensical things to talk about, then numbers aren't either.
If there is any sense in the statement, "I am not you," then numbers exist.

It's just that we have no proof of those statements being sensible aside from the fact that we like them.