Мы кстати во многом забываем, что допускаем в наших книгах, учебниках, статьях и курсах смешение объектного языка и метаязыка, либо явно проводя соглашение о том, что некоторые элементы формализованного языка используются автонимно (в качестве имён самих себя), либо просто предполагая, что контекст в каждом случае позволит определить, с чем мы имеем дело.
Многие не догадываются, что в принципе, если нужно, мы в логике можем распаковать более строго и однозначно все эти вещи, если бы нам это было нужно. Хотя вот Мендельсон на Куайна ссылается в этой связи и говорит, что на самом деле мы бы могли бы и должны были бы ещё больше элементарных шагов в построении языка и установлении связи с метаязыком провести, но предполагаем, что в принципе по контексту всё понятно будет, как понятно то, что когда в логическом тексте мы говорим о формуле, мы говорим о формуле некоторого специального языка, который где-то кем-то определен