Обсуждение:Теорема Райса-Шапиро

☐ Изменить определения в начале статьи так, чтобы они соответствовали изложению, которое было на лекциях.

☐ Добавить перечислитель в доказательстве теоремы в прямую сторону.

☐ Вспомогательные леммы в доказательстве в обратную сторону изложены довольно сумбурно. Переписать.