Ну это должна быть функция

, такая что если

- гёделевский номер, то

- тоже гёделевский номер, причём существует такое

, что последовательная суперпозиция

порождает все гёделевские номера. Можно поинтересоваться вычислимостью функции

(тут, похоже, ответ положительный, хотя боюсь провраться, ориентируюсь на такую цитату: "Оказывается, функцию, осуществляющую гёделеву нумерацию формул элементарной арифметики, можно сделать даже примитивно-рекурсивной." - ну а наша

не далеко ушла).