Up
6.3.4 “式",“文”
われわれは，文生成システム
G
が生成する文を“式”と呼び，“文”の語は，“自由変項を含まない式”を指すものと約束する。──尤も，述語論理は式（特に，文）をもたないが。