Las matemáticas son un conjunto de lenguajes formales que pueden usarse como herramientas para plantear problemas de manera no ambigua en contextos específicos. Las matemáticas son básicamente un lenguaje simplificado con una herramienta para cada problema específico, como por ejemplo las fórmulas 2+2=4 y 2x2=4.