Text this: Sistemas Formales, informalmente. ¿Por qué intentaron formalizar a la matemática si era tan buena muchacha?