Es decir que bajo la suposición de que existe el algoritmo "Termina" se llega a la paradójica conclusión de que hay una instrucción que termina siempre y cuando no termine.