Las matemáticas son una ciencia formal que estudia propiedades y relaciones entre entidades abstractas mediante el razonamiento lógico. Se consideran un conjunto de lenguajes formales que permiten plantear problemas de manera precisa. Su aplicación es extensa en las ciencias naturales para explicar fenómenos observables.