A property of, or relation between, natural numbers whose truth value for all arguments is a recursive function; a relation that can be expressed by a recursive function.
1930s; earliest use found in Stephen Kleene (b. 1909).
Are You Learning English? Here Are Our Top English Tips