Up
7.1.2 “式",“文”
述語論理に倣い(
§6.3.4
)，文生成システム
G
が生成する文を“式”と呼び，“文”の語は，“自由変項を含まない式”を指すものと約束する。
注意：変項は，ｎ,ｎ
1
,ｎ
11
,････である。