 Gödel introduced the term general recursive to describe a function defined in this manner. Following the modernized presentation of Odifreddi (1989, ch. I.2) this class may be specified on the basis of the following initial  definitions:[12] 