ABSTRACT
L. Once we have fixed L and L̂ we shall call L the object language and L̂ the metalanguage. (The term metalanguage was used by Tarski in his theory of truth; but our metalanguage differs from his in certain respects, cf. Remark 2.4 below.
Also this kind of correspondence between L̂ and L is reminiscent of Russell’s theory of types of which, however, we will say nothing here.)
