Luego la propia ecuación o sistema que define el conjunto diofántico define el algoritmo que avala la enumerabilidad recursiva del conjunto.