"The past is never dead. It's not even past."
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.