 Proving the 10th problem undecidable is then a valid answer even in Hilbert's terms, since it is a proof about "the impossibility of the solution".In a diophantine equation, there are two kinds of variables