sentence: Los errores tampoco podrán ser totalmente superados en caso de la verificación humana de una demostración, especialmente si la demostración contiene lenguaje natural y requiere un trasfondo matemático profundo.
modified: fix grammar: Lo errores tampoco podrán ser totalmente superados en caso de las verificación humana de unas demostración, especialmente si las demostración contiene lenguaje natural y requiere unes trasfondo matemático profundo.