271
правка
Изменения
→Лемма о перечислимости свойства перечислимого множества образцов
|statement =
Пусть <tex>\Gamma</tex> {{---}} перечислимое множество образцов, <tex>A_{\Gamma} = \bigcup\limits_{\gamma \in \Gamma}{A_{\gamma}}</tex>.
Тогда <tex>A_{\Gamma}</tex> {{---}} перечислимоявляется перечислимым.
|proof =
Построим полуразрешитель <tex>A_{\Gamma}</tex>:
Полуразрешителя достаточно для доказательства перечислимости.
}}
== Теорема Райса-Шапиро ==
