Las matemáticas son 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. Las matemáticas también pueden verse como un conjunto de lenguajes formales que sirven como herramientas para plantear problemas de manera no ambigua en diferentes contextos, permitiendo expresar relaciones de una forma simplificada.