以下ではformula_1は計算可能関数のアクセプタブル・ナンバリング、formula_2は対応する帰納的可算集合のナンバリングとする。