>>422
論理式だけじゃなくてその有限列の証明とか、
式からつくられたsequentとかは全部syntacticalな対象だと見做しても
別におかしくないと思うけどなあ。

ただ、semanticsのために必要なsyntaxはごくごくわずかに過ぎない、
というのは事実だし大事なことだけどね。