These results show exactly what is required for defining a truth predicate that satisfies certain axioms, thereby sharpening Tarski’s insights into definability of truth. In particular, proof-theoretic equivalences described in Section 3.3 below make explicit to what extent a metalanguage (or rather metatheory) has to be richer than the object language in order to be able to define a truth predicate.