La matemática es una ciencia formal que estudia las propiedades y relaciones entre entidades abstractas como números y figuras geométricas, partiendo de axiomas y siguiendo el razonamiento lógico. La matemática también puede considerarse como un conjunto de lenguajes formales que permiten plantear problemas de manera no ambigua en diferentes contextos.