ゲーデル文formula_37のゲーデル数をformula_39とする。