6. га-сводимость и свойства перечислимых множеств