In typed theories of truth, only the truth of sentences not containing the same truth predicate is provable, thus avoiding the paradoxes by observing Tarski’s distinction between object and metalanguage.