In this section , we give an analogue of Rice 's theorem for recursively enumerable sets `` , '' instead of recursive sets .
In this section , we give an analogue of Rice 's theorem for recursive sets `` , '' instead of recursively enumerable sets .