Diophantine approximation and Diophantine definitions