Suppose 'Fx' is a unary recursive relation. Also suppose that (∃x)Fx is a consequence of the standard model for number theory. Is the function on natural numbers f recursive that returns 0 if

Fn and, for m < n, Fm is not a consequence of the standard model

and returns 1 otherwise?