Tarski's undefinability theorem shows truth is undefinable within a system, but this is consistent w...