条件p(x)について、∀x,P(x)などの命題をつくることができますが、
これは、xをyに入れるということさえ示しとけば、∀x,P(y)と表記してもokですよね?