To quantify over sets means that the variable following the quantifier is to range over sets.

Unicode together with font mongers do not support Tarski’s notation well.

Contrast:

For every x there is a y such that x divides y.

There is a y such that for every x x divides y.

Symbolically:

∀x∃y y mod x = 0.

∃y∀x y mod x = 0.

The first is true and the second is false.

“∀x” is the universal quantifier and “∃y” is the existential quantifier.
If φ is some expression, perhaps involving y then.

∃yφ = ¬∀y¬φ

This is often taken as a definition for ∃ while ∀ is primitive.

Universal quantifiers commute with each other and so do existential quantifiers. They do not commute with each other.

The sentence:

“For every x (x divides y) for some y.” can be read as either:

“For every x ((x divides y) for some y).” or

“(For every x (blah blah x blah y)) for some y.”.

The meanings, as above, are different. Professional mathematicians often make this mistake.

More logic