Skip to main content
2 of 3
added 79 characters in body; added 15 characters in body

Or, very simply stated, given the finite set $S$ = {$a_1, ... , a_k$}, consider the diophantine equation: $$(n-a_1)...(n-a_n)=0$$. EDIT: Then we can write S as {$ \ n \ | \ \exists x : (n-a_1)...(n-a_k)=0$ }. (Thanks David)