Up 6.3.4 “式",“文”  


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