¿Cómo se llama la parte de las matemáticas que formula razonamientos abstractos sobre los números por medio de expresiones literales y símbolos?