ゲーデル数
which satisfies the following Blum axioms. We write formula_5 for the "i"-th partial computable function under the Gödel numbering formula_2, and formula_7 for the partial computable function formula_8.