Description: Define the Godel-set of membership. Here the arguments x = <. N , P >. correspond to v_N and v_P , so ( (/) e.g 1o ) actually means v_0 e. v_1 , not 0 e. 1 . (Contributed by Mario Carneiro, 14-Jul-2013)