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