  Based upon this idea, a reasonable theory of such languages which contain truth predicates was developed in the mid-1930s by A. Tarski. One of the results was that such a language \(L_{T}\), which contains its own truth predicate \(T\) and has a certain richness in expressive power, is necessarily inconsistent.