MRDP theorem

Redirect to:

• Diophantine set#Matiyasevich's theorem