>>462
導出とか帰結関係を記述する際に表れる論理式は
全称閉包(universal closure)を取ったものを考える
という規約をするのが普通だと思うので
（従って A(x) |- B(x) は |- ∀xA(x)→∀xB(x) と同値で
|- ∀x(A(x)→B(x)) とは異なることに注意！）
どっちでも一緒じゃないかな？

そのウィキペディアの記事はおかしいので
リンクのある英語の記事を見た方が良いと思うよ。