I agree, I think. I would say it like so, that maths is a sort of highly technical, rigorous language, but like any language it will describe what you want it to. It is easy to think that it is describing the underlying terrain, but it is actually working on three (shared) and model which have of the terrain. So, as we consider different things, maths will follow.
Its grammar is limited in ways we don't understand, because the grammar is based on abstractions of our experiences of the world and the relationships between them.
If we can't imagine entire classes of relationship - likely because we do not have limitless intelligence - then the model will always be a partial analogy, not a full and complete abstraction.
