141
правка
Изменения
→Лемма о перечислимости свойства образца: Расписал, почему очевидно
Свойство <tex>A_{\gamma}</tex> перечислимо для любого образца <tex>\gamma</tex>.
|proof =
Очевидно, как строится программа, которая возвращает 1, если <tex>p \in A_{\gamma}</tex> (запускаем <tex>p</tex> на <tex>x</tex>-ах и проверяем, что программа вернёт соответствующие <tex>y</tex>-ки).Такой программы достаточно для доказательства перечислимости.
}}
== Лемма о перечислимости свойства перечислимого множества образцов ==
