集合xとx-計算可能(xから相対的に計算可能)な関数のゲーデル数formula_1があるとする。