  But there are also languages of infinite order. In these the order of the available variables is not bounded above. Tarski gives an example, which he calls “the language of the general theory of classes” (LGTC). Here again is a quick description in more current notation: