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. Aunque también se discute su carácter científico, las matemáticas se utilizan para estudiar relaciones cuantitativas, estructuras y magnitudes variables. Los matemáticos buscan patrones y formulan nuevas conjeturas para alcanzar la verdad matemática mediante deducciones que establecen los axiomas y definiciones apropiados.