Изменения

Очевидно.

}}

== Лемма о перечеслимости свойства перечислимого множества образцов ==

Этого достаточно для доказательства перечислимости.

}}

== Теорема Райса-Шапиро ==