Bueno, las matemáticas tienen “palabras”, pero esas no son palabras en ningún idioma natural como el inglés. La formalización es importante porque se presta al tratamiento formal, que es preciso y no se basa en la interpretación. Usar palabras, como en los lenguajes naturales, es inherentemente ambiguo y pesado. Las fórmulas que están bien formadas pueden ser consumidas por otras fórmulas en procedimientos mecánicos, produciendo resultados que son necesariamente lógicos e inevitables. Las lenguas naturales carecen de un régimen tan limitado. El lenguaje natural es demasiado rico, con términos que representan conceptos que desafían el significado preciso. Las pruebas matemáticas no pueden expresarse de manera eficiente e inequívoca en lenguajes naturales.
Ese es el poder de los lenguajes naturales, que es exactamente lo que los hace inadecuados para las matemáticas y cualquier sistema formal de ideas. Esto es bueno tanto para los idiomas naturales como para los idiomas formales. (Dejando de lado la discusión de las jerarquías del lenguaje y tal)