Resulta evidente que los conjuntos diofánticos son, por definición, recursivamente enumerables.