Геделевская нумерация

[Sou1Taker]

Пусть сигнатура <f_i> где i принадлежит N состоит из счетного символов одноместных функций. Определить гёделевскую нумерацию формул сигнатуры так, чтобы множество номеров всех формул было примитивно рекурсивным.
Можете сделать какие нить подсказки по поводу этой задачи.