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. La matemática también es un conjunto de lenguajes formales que pueden usarse como herramientas para plantear problemas de manera no ambigua. Por ejemplo, las matemáticas permiten expresar relaciones como X es mayor que Y e Y es mayor que Z de forma simplificada como X > Y > Z.