You might be waiting a long time. Things like Tarski's Undefinability Theorem (moreso than Gödel) make it rather unlikely that this will turn out to be possible.

But I agree with your assertion.