ゲーデル数
A Blum complexity measure is a pair formula_1 with formula_2 a Gödel numbering of the partial computable functions formula_3 and a computable function