参考にしている本には、IsTerm(x)を以下のように定義するとありました。

:= x=/0/
または ヨn<x (IsTerm(n)かつ/S/*par(n))
または ヨm<x ヨn<x ［IsTerm(m)かつIsTerm(n)かつ(par(m)*/+/*par(n)または par(m)*/・/*par(n) )］
とありました。
ただし、/x/はxのゲーデル数、x*yはxとyを連結させたゲーデル数を、par(x)は/(/ * x * /)/とします。

これは正しい定義になってるのでしょうか？
・再帰的な定義になっている
・" )(+-0S(0) "などというPAの項にはならないテキトーな記号列のゲーデル数は、IsTermでも真にならない。
この二点がよくわかりません。