Мат логика задача

Здравствуйте!

, очень нужна помощь с задачей по математической логике по теме m-полнота, геделевы нумерации и частично рекурсивные функции. задача звучит так: Пусть Ф

произвольная гёделева нумерация одноместных частично рекурсивных функций, а множество A задано следующим образом:

A={x принадлежит w: x меньше или равно Фx(x+y²) меньше или равно x+y для некоторого y}

доказать, что множество A m-полно. Первая часть с m-трудностью у меня сделана правильно, а вторая с чрф нет