Este documento habla brevemente sobre 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 indica que las matemáticas son un conjunto de lenguajes formales que pueden usarse como herramientas para plantear problemas de manera no ambigua en diferentes contextos.