Movatterモバイル変換

1. It is possible to develop a systemwhich allows open formulas to appear in arguments. This would have adirect impact on our treatment of the quantifiers, as we would have tobe much more careful about which variables we were using. Allowingformulas to appear in arguments simplifies some things and complicatesothers.