DÉCIMA PARA EL TEOREMA DE GÖDEL
                  -------------------------------

                  "Esto no es demostrable"
                   es expresión verdadera
                   porque, si tanto no fuera,
                   resultaría probable.
                   Esta sentencia notable
                   que, sobre todo, es estética,
                   en su traducción sintética
                   da un teorema matemático
                   que dice, de modo enfático,
                   que algo falta en la aritmética.