..]. Попытка построения структурной дефиниции термина "истинное предложение" в применении к естественному языку наталкивается на трудности, которые не удается преодолеть." (S.13). О причинах этих трудностей Тарский говорит так: "Характерной чертой естественного языка (в отличие от различных научных языков) является его универсализм: было бы несогласно с духом этого языка, если бы в каком-нибудь другом языке выступали выражения или обороты, которые не удается перевести на естественный язык; "если о чем-либо можно вообще осмысленно говорить, то об этом можно говорить и в естественном языке". Культивируя эти универсалистские тенденции естественного языка в отношении семантических рассуждений, мы должны последовательно включать в язык наряду с произвольными его предложениями или прочими выражениями также и имена таких предложений и выражений, предложения, содержащие эти имена, затем такие семантические выражения как "истинное предложение", "имя", "обозначает" и т.д. С другой стороны, именно этот универсализм естественного языка в области семантики, предположительно, является существенным источником всевозможных т.н. семантических антиномий, таких как антиномия лжеца или антиномия гетерологических имен; эти антиномии, кажется, попросту показывают, что на основе каждого языка, который был бы в вышеуказанном смысле универсальным, и который при этом подчинялся бы нормальным законам логики, должно появиться противоречие. [...] Если приведенные выше замечания верны, то сама возможность последовательного (и при этом находящегося в согласии с принципами логики и духом естественного языка) оперирования выражением "истинное предложение" и, что за этим следует, возможность построения какой-нибудь правильной дефиниции этого выражения, кажется, весьма проблематична." (S.14-15)

Таким образом, осознав, что в естественном языке, иначе, языке универсальном в том смысле, что он является смешением языков различных типов, что выражается в смешении процессов и результатов как интралингвистических, так и экстралингвистических, Тарский обращается к формализованным языкам и конструирует для них дефиницию истины.

Формализация языка состоит в том, что приводится либо же эффективно описывается список элементарных выражений, а также правила образования составных выражений, и прежде всего предложений. Поскольку формализованные языки образованы с намерением их использования в дедуктивных науках, то к описанию структуры языка, как правило, добавляется список аксиом данной дисциплины и правила вывода, что приводит к общему понятия утверждения в этой дисциплине. Для исследования некоторого формализованного языка L необходим метаязык ML, который должен быть достаточно богатым, т.е. должен содержать имена выражений языка, а также общелогические символы (кванторы, связки между предложениями и т.д.) при помощи которых в ML формулируются утверждения о L. Требование формализации самого метаязыка ML не выдвигается, но ничто не мешает его формализовать, но тогда необходимо будет это делать в соответствующем метаметаязыке MML.

Категория имен выражений в ML двузначна в том смысле, что помимо собственно имен выражений языка, она содержит те же имена "структурно-описательного характера", т.е. применительно к языку алгебры классов, который рассматривает Тарский - "имена конкретных знаков и выражений языка алгебры классов, названия классов и последовательностей таких выражений, а также возникающих между ними структурных отношений". Тарский выразительно подчеркивает: "То обстоятельство, что каждому выражению (а особенно предложению) рассматриваемого языка можно подчинить в метаязыке, с одной стороны, некоторое индивидуальное имя этого выражения, с другой же стороны - некоторое выражение, являющееся переводом данного выражения на метаязык, играет решающую роль в конструировании дефиниции истины"(S.23). Тот факт, что не только перевод предложения в метаязык, но и индивидуальное имя этого предложения в метаязыке носит характер структурно-описательный, т.е. характер процесса, этот факт сыграет решающую роль при обобщении частичных условий истинности, заключающуюся в том, что дефиниция будет сформулирована в терминах процесса, а именно, процесса выполнения. К этой особенности дефиниции истинности мы вернемся при обсуждении значения ее философского аспекта. Сейчас же обратим внимание еще на одну трудность, препятствующую распространению частичного условия истинности до статуса универсальной характеристики истинного предложения несмотря на то, что язык нашего рассмотрения формализованный, а не естественный. Трудность эта связана с нефинитным характером образования выражений в метаязыке. Тарский пишет: "Здесь в игру вступают достаточно тонкие моменты. Выражения обычно понимаются как образования человеческой деятельности (соотв. как классы таких образований); при таком понимании допущение, что существует бесконечно много выражений, кажется явной нелепостью. Однако предоставляется возможность иной интерпретации термина выражение: а именно, можно было бы считать выражениями различные физические тела определенной формы и величины.