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

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.