ゲーデル数
formula_5 は計算可能関数へのゲーデル数割り当てであると解釈できる。