ゲーデル数
ゲーデル文formula_41のゲーデル数をformula_43とする。