Mathematics hasn't provided a theoretically infinite level of abstraction since 1934, when Godel gave his lectures on uncertainty. It seems strange to me to separate mathematics and language (math seems to have syntax and grammar), but maybe I've been doing too much geometry and logic, and reading too much Hofstadter.