 What has been constructed is a sequence \(L_0, L_1, L_2,\ldots\) of partially interpreted languages such that \(T\) is interpreted in \(L_{\alpha +1}\) as the truth predicate for \(L_{\alpha}\). This is just like Tarski’s hierarchy of languages, except that here there is no syntactic distinction between the different languages and their truth predicates.