ゲーデル数
よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のアクセプタブル・ナンバリングがある。