Las matemáticas son una ciencia formal que estudia las propiedades y relaciones entre entidades abstractas como números y figuras geométricas. Los matemáticos buscan patrones y formulan nuevas conjeturas mediante deducciones rigurosas para establecer axiomas y definiciones que les permitan alcanzar la verdad matemática. Aunque originalmente se restringían al razonamiento sobre cantidades, ahora predominan análisis lógicos de construcciones abstractas no cuantitativas.