 This means that the concept of general Diophantine set, apparently belonging to number theory, can be taken rather in logical or recursion-theoretic terms.This is far from obvious, however, and represented the culmination of some decades of work.Matiyasevich's completion of the MRDP theorem settled Hilbert's tenth problem.