Выберите определение теоремы Поста?

• Эффективная распознаваемость перечислимого подмножества эффективно распознаваемого множества
• Эффективная распознаваемость подмножества эффективно распознаваемого множества
• Эффективная перечислимость нормальных алгоритмов
• Эффективная распознаваемость подмножества эффективно перечислимого множества