Por tanto, Hilbert estaba pidiendo un algoritmo general que decidiera si un polinomio dado de coeficientes enteros —una ecuación diofántica— tenía solución en el dominio de los enteros.