Gödel numbering
ゲーデル文formula_41のゲーデル数をformula_43とする。