ゲーデル数
Gödel number
指標と言ったりもする
Kurt Gödelがゲーデルの不完全性定理の証明に用いた
形式言語の記号や論理式を全てユニークな自然数に対応付けるもの
よくある帰納的関数論の本の序章で、扱う言語を全て自然数で扱う変換をするようなイメージmrsekut.icon
自然数にコード化するpair関数など
関連
ナンバリング
参考
https://ja.wikipedia.org/wiki/ゲーデル数