Таким образом, анализируемое высказывание всегда истинно.
   И все же, несмотря на то что, согласно этим формулам, всегда ложное предложение оценивается как всегда ложное, а всегда истинное как всегда истинное, совершенно очевидно, что такие условия истинности никак содержательно не связаны со значением самих предложений. Чтобы избежать подобной неадекватности, задаются определенные аксиомы, позволяющие конструировать условия истинности в соответствии со значением предложения.
   Выделяются три типа аксиом. Аксиомы для имен соотносят имена с конкретными объектами (имя Саратов соотносится с городом Саратовом). Аксиомы для предикатов сообщают о том, какие объекты удовлетворяют каждому предикату (предикату быть столицей России удовлетворяют города, являющиеся столицей России). Третий тип — это аксиомы для синтаксических структур, которые связывают имена и предикаты, а также более сложные языковые единицы (высказывание вида А — Б истинно тогда и только тогда, когда объект, с которым соотносится А, удовлетворяет предикату Б). Эти аксиомы и позволяют вывести конкретную формулу истинности для конкретного предложения:
    1 При этом в действительности, как видно из следующих примеров, может использоваться один и тот же язык, но это значит лишь то, что он выступает в разных функциях — языка-объекта и метаязыка.
37
   Саратов — столица России истинно тогда и только тогда, когда Саратов — столица России.