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