 Note that the use of natural numbers both in "S" and the existential quantification merely reflects the usual applications in computability and model theory.We can equally well speak of Diophantine sets of integers and freely replace quantification over natural numbers with quantification over the integers.Also it is sufficient to assume "P" is a polynomial over formula_2 and multiply "P" by the appropriate denominators to yield integer coefficients.