Пусть

– язык;

– алфавит языка, причём

, где

и

– множество всех заглавных букв латинского языка, возможно с индексами;

(греческая буква "гамма") – грамматика языка

, которую можно описать так:

) каждая буква из множества

есть слово языка;

) если

– слово языка

, то

также является словом этого языка;

) если

и

– слова языка

, то

– также слово этого языка;

) любая последовательность символов языка

является словом этого языка тогда и только тогда, когда это следует из пунктов 1) – 3).
Тогда словом языка

не является последовательность символов …