ゲーデル数
計算可能性理論において、「ゲーデル数化」は上述よりさらに一般化した意味を持つ用語として使われる。
形式言語の構成要素に自然数を割り当てて、形式言語の構成要素の操作を、数を操作するアルゴリズムでシミュレートできるようにする。
より一般化して、枚挙可能な数学的オブジェクト(例えば枚挙可能な群)に自然数を割り当てて、その数学的オブジェクトにアルゴリズム的操作ができるようにする。
ゲーデル数化という用語は、文字列としての「数」を割り当てる場合にも使われることがある。これは数というよりも文字列を操作する計算模型(チューリングマシンなど)に必須の考え方である。