Es decir, no podemos encontrar o definir un lenguaje de programación lo suficientemente genérico que nos permita expresar cualquier tipo de algoritmo.