Cтраница 4
В ряде случаев приходится пользоваться многими метаязыками, а также языками, которые являются метаязыками по отношению к метаязыкам, т.е. метаметаязыками. Исходным языком в приведенных ниже описаниях является один из естественных языков, а именно русский. Говоря о языке, необходимо четко различать метаязыки и язык-объект, без чего могут возникать неясности. [46]
Метаязык формального описания синтаксиса совпадает с метаязыком описания синтаксиса ЯОД и ЯОК. Алфавит ЯЗ содержит символы [, ] ( квадратные скобки), которые использовались ранее как метасимволы при описании синтаксиса. Для отличия символов ЯЗ от метасимволов квадратные скобки в приведенном ниже описании синтаксиса ЯЗ подчеркнуты. [47]
Само исчисление тоже описывается в некотором метаязыке, который даже если не вводится явно, логически тем не менее в каждой математической работе присутствует. Такие свойства исчисления как корректность, полнота и независимость являются не только его, так сказать, деловыми характеристиками, но отражают адекватность, законченность и неизбыточность теории, формализуемой данным исчислением. [48]
Дополнительные символы, которые мы включили в метаязык при написании правых частей, не должны быть символами языка-объекта. [49]