Este documento describe brevemente la historia de las matemáticas. Define las matemáticas como una ciencia formal que estudia las propiedades y relaciones entre entidades abstractas como números y figuras geométricas usando axiomas y razonamiento lógico. También explica que las matemáticas son en realidad un conjunto de lenguajes formales que pueden usarse como herramientas para plantear problemas de manera no ambigua en contextos específicos. Además, señala que las ciencias naturales han hecho un uso extensivo de las matemáticas