That's certainly part of it. But part of it is we're not really terribly good at talking about the universe even with classical intuition.

That said, model-theoretic semantics go back to, at least, William of Ockham, who developed a formalized subset of Latin (which kind of reminds me of the Google C++ style guide in a way). We're clearly not utterly incompetent in this space, but it helps to stand on the shoulders of the giants to see clearly.

> classical intuition

I am not sure if the modern mix of group theory and differential geometry which forms the foundation of theoretical physics today can qualify as such, even though the word "geometry" does bring the expectation that we should be able to "see" the things we are talking about.