Recursively enumerable
THEOREM
"Every computably enumerable set is Diophantine." https://en.wikipedia.org/wiki/Diophantine_set#Matiyasevich's_theorem Theorem: Every computably enumerable set is Diophantine.
Proof unavailable