>>14
>「ゲーデル数xは、PAの項である」を再帰的に表す算術上の述語
>はどのようにして定義すればよいのでしょうか。

それは、PAの項をいかなる形で数に翻訳するかによる。
もちろんやり方は一つではない。