In the postscript to the 1935 German translation of the monograph on truth, Tarski abandons the 1933 requirement that the apparatus of the metatheory be formalizable in finite type theory, and accepts the use of a more powerful theory of transfinite types, where the transfinite objects are classes of the objects of lower types, or the use of set theory. Tarski notes that the relation of satisfaction and a truth predicate for LGTC (and LGTC+) are definable in these more powerful metatheories (cf. Tarski 1983b, pp. 271–2). But he also says that the proof of the indefinability theorem can be adapted to show that, in general, one cannot define a truth predicate “if the order of the metalanguage is at most equal to that of the language itself” (Tarski 1983b, p. 273).