Las matemáticas son una ciencia formal que estudia las propiedades y relaciones entre entidades abstractas como números y figuras geométricas mediante el razonamiento lógico y la deducción rigurosa de nuevas conclusiones a partir de axiomas. Aunque tradicionalmente se ha centrado en cantidades, actualmente estudia una variedad más amplia de construcciones abstractas. Su objetivo es descubrir patrones y formular nuevas conjeturas para alcanzar verdades matemáticas.