Las matemáticas es una ciencia formal que estudia las propiedades y relaciones entre entes abstractos como números y figuras geométricas. Los matemáticos buscan patrones y formulan nuevas conjeturas para establecer verdades matemáticas mediante deducciones rigurosas que les permiten definir axiomas y definiciones apropiadas. Aunque algunas definiciones clásicas restringen las matemáticas al razonamiento sobre cantidades, en la actualidad predominan análisis lógicos de construcciones abstractas no cuantitativas.