ゲーデル数
Roger's equivalence theorem provides a characterization of the Gödel numbering of the computable functions in terms of the "smn" theorem and the UTM theorem.