(b) assuming that the class of all provable sentences of the metatheory is consistent, it is impossible to construct an adequate definition of truth in the sense of convention T on the basis of LGTC+ (cf. Tarski 1983b, p. 247).