Basic Guidelines For English Spellings
READ THESE ARTICLES
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).