El documento define las matemáticas como la ciencia deductiva que estudia las propiedades de entes abstractos y sus relaciones, trabajando con números, símbolos y figuras geométricas. Explica que las matemáticas analizan estructuras y magnitudes mediante razonamientos lógicos a partir de axiomas, permitiendo formular conjeturas y definiciones. Además, define una fórmula como una secuencia de símbolos de un lenguaje formal que expresa una relación general entre términos y cumple ciertas reglas de formación en sist