141
правка
Изменения
м
Ещё куча дефисов заменена на тире
{{Теорема
|statement =
Свойство функций <tex>A</tex> перечислимо тогда и только тогда, когда <tex>\exists \Gamma: A = A_{\Gamma}</tex>, где <tex>\Gamma</tex> {{- --}} перечислимое множество образцов.
|proof =
<tex>\Leftarrow</tex>
{{Лемма
|statement =
Пусть <tex>A</tex> {{- --}} перечислимое свойство функций, <tex>g \in A</tex>, <tex>h</tex> {{--- }} продолжение <tex>g</tex>.
Тогда <tex>h \in A</tex>.
|proof =
Докажем от противного.
Пусть <tex>g \in A</tex>, <tex>h</tex> {{- --}} продолжение <tex>g</tex>, <tex>h \notin A</tex>.
Рассмотрим перечислимое и неразрешимое множество <tex>K</tex> и следующую программу:
{{Лемма
|statement =
Если <tex>A</tex> {{- --}} перечислимое свойство функций, <tex>g \in A</tex>, то <tex>\exists h</tex>, такое что <tex>|Dom(h)| < +\infty</tex>, <tex>g</tex> {{--- }} продолжение <tex>h</tex>, <tex>h \in A</tex>.
|proof =
Докажем от противного.