S = {i | A ⊆ range( φ_i) } where A is a set of all odd (or even) natural numbers and φ_i is function with index i which returns A
How can I prove, that set S is recur