Have a look at this answer.
If you take a tensed view of things, there is, quite clearly, no problem (you only need to check the truth value before evocation of the statement). However, this view is not taken in mathematics often; a tenseless view cannot allow for a statement which changes the truth value that it states. You may declare any such statement whose truth value depends on evocation or temporality to arbitrarily be false by convention.