S'이 S에서 1차논리로 도출 가능한 모든 문장들의 집합일 때,
S'이 recursively enumerable하면 S도 recursively enumerable 한 걸까요?