ゲーデル数
ここで formula_15 は文 "formula_12" の正規ゲーデル数の数字である。