>>143
∀x(∈S),P(x)が意味するところは、
「集合Sに属する任意の値が条件Pを満たす」という意味であってxは
何の意味もない。xを書いた方が、なにをどこに代入するということを
明示できるというだけ。だから。∀()とP()の括弧の中の記号が一致して
いなくても何ら問題はない。