Objetivo general

Gestionar el conosimiento matemarico con un enfoque de formalizacion y razonamiento, enfocado en la sintaxis (