Die griechischen Buchstaben φ (Phi) und ψ (Psi) gehören nicht zu unserer logischen Sprache: Wir verwenden sie, um über die logische Sprache zu sprechen; damit sind sie Teil der Metasprache (vgl. Seite §).