>>14
例えば、
ゲーデル数xがPAの項に該当することをIsTerm(x)とすれば、
IsTerm(x)：xが0∨xが無限個の変数∨xが項を引数に持つ関数
で定義される。