ナンバリング
例
ゲーデル数
アクセプタブル・ナンバリング
フリードバーグ・ナンバリング
参考
https://ja.wikipedia.org/wiki/ナンバリング_(計算可能性理論)