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

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

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

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