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

La corriente formalista de las matemáticas, cuya noción central es la de sistema formal, constituye un intento de fundamentar el conocimiento matemático sobre una base sólida que garantice su validez absoluta y universal. Las matemáticas siempre han gozado de la reputación de ser la ciencia más exac...