>>657
>が推論規則として定義されてます。ていうことはこの推論規則から
>A→∀xA
>が証明できますよね。もしかして違いますか？

演繹定理のこと言ってるの？　だったら、俺の持っている本だと
広瀬の「ゲーデルの世界」に証明が出ているな。