El documento describe las matemáticas como una ciencia formal que estudia las propiedades y relaciones entre entes abstractos como números y figuras geométricas utilizando axiomas y razonamiento lógico. Las matemáticas se usan para estudiar relaciones cuantitativas, estructuras y magnitudes variables. Existe debate sobre si los objetos matemáticos realmente existen o provienen de la imaginación humana.