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?