Соответствие смыслов как необходимая характеристика языка.Это соответствие назовем характерным для языка подчинением смыслов.Языки, в которых обязательны эмпирические правила смысла, будем называть эмпирическими языками.Сейчас обратимся к вопросу равноосмысленности двух выражений, принадлежащих разным языкам.В понятых таким образом языках правила смысла так же изменчивы, как и соответствие смыслов.Правила смысла для этих языков можно легко привести на основании аксиоматики и правил вывода.[5] Допустим, что Z есть предложение языка S, в котором для Z нет реально значимого правила смысла.Среди прочего я предложу дефиницию смысла выражений.Дедуктивные, аксиоматические и эмпирические правила смысла.Этот класс предложений назовем областью этого аксиоматического правила смысла.