La matemática es una ciencia formal que estudia las propiedades y relaciones entre entidades abstractas como números y figuras geométricas usando axiomas y 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. El documento presenta la definición de las matemáticas y su naturaleza como ciencia formal y lenguaje.