This contradiction means that Gödel’s statement can’t be false, and therefore it must be true that “this statement cannot be proved.”
Esta contradicción significa que la declaración de Gödel no puede ser falsa y, por tanto, debe ser cierto que “Esta declaración no puede ser probada”.