Изменения
Нет описания правки
{{Теорема
|statement=
Существуют такие непересекающиеся перечислимые множества <tex>X'</tex> и <tex>Y'</tex>, что <tex>X' \cap Y' = \O</tex> и не существует таких разрешимых множеств <tex>X</tex> и <tex>Y</tex>, что <tex>X' \in subset X</tex>, <tex>Y' \in subset Y</tex>, <tex>X \cap Y = \O</tex>, <tex>X \cup Y = \mathbb{N}</tex>. Такие множества <tex>X'</tex> и <tex>Y'</tex> называют '''неотделимыми'''.
|proof=
Рассмотрим множества <tex>X' = \{n \mid f(n) = 0\}</tex> и <tex>Y' = \{n \mid f(n) = 1\}</tex>, где <tex>f(n)</tex> - функция из леммы 2.
