ゲーデル数
Given a Gödel numbering formula_1 of the computable functions and a Blum complexity measure formula_2 where a complexity class for a boundary function formula_3 is defined as