Рекурсивность, геделевы номера.(Математическая логика)

[ThreeKilo]

Здравствуйте.
В институте раздали задание. Два дня уже мучаюсь никак понять не могу, в группе никто не понимает как решить это задание. Пол-инета перекопал, смотрел примеры, мозг вообще отказывается это переваривать. Надеюсь, что кто-нибудь поможет мне.

Вот собственно текст самого задания:
Доказать, что следующий предикат является (или не является) (примитивно) рекурсивным:
«х есть геделев номер частного случая схемы логических аксиом. Сама аксиома представлена ниже