ゲーデル数
In mathematical logic such concepts as a primitive recursive function and a μ-recursive function represent integer-valued functions of several natural variables or, in other words, functions on . Gödel numbering, defined on well-formed formulae of some formal language, is a natural-valued function.