Think about what math is trying to formalize

Math formalizes regularities by abstracting away irregularities - that's precisely my point. Any formal system achieves its regularity by limiting its scope. Math can describe aspects of reality with precision, but it cannot capture reality's full complexity. A 'universal language' that can only express what fits into formal systems isn't universal at all: it's a specialized tool that works within constrained domains.