ゲーデル数
Formally, given a set and a Gödel numbering of the -computable functions, the Turing jump of is defined as