ゲーデル数
集合 X と X-計算可能（X から相対的に計算可能）な関数のゲーデル数 formula_1 があるとする。このとき、X のチューリングジャンプ X’は次のように定義される。