Hilary Putnam ha hecho notar que para cada conjunto diofántico formula_22 de enteros positivos existe un polinomio