Cтраница 5
В клетках таблицы Поста ставится плюс или минус, в зависимости от того, входит функция, стоящая в данной строке, в класс, стоящий в данном столбце, или не входит. Для полноты системы функций необходимо и достаточно ( в силу теоремы Поста), чтобы в каждом столбце стоял бы хотя один минус. [61]