形式言語 : 理論 : 論理 : 自然数論

2.2 “シェマ変形規則に従う文変形”の概要

　“シェマ変形規則に従う文変形”は，つぎのようになる：

　ここで，〈記号列_i〉は変形作業上(“計算上”）の記号列で，文をそれの特殊とする。対応して，〈記号列_i のシェマj〉は，変形作業上(“計算上”）のシェマで，〈文のシェマ〉をそれの特殊とする。

　また，

は，記号列_i に対する解釈の変更である。