271
правка
Изменения
→Теорема Райса-Шапиро
{{Лемма
|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 =
Докажем от противного.
