The order definitely does matter ... however like many things in set theory or logic it depends on the context
The first main important thing to say is that the order can go EITHER
way. The order you use depends on what you want to say. Consider these
two sample statements, which should be considered to be about
(1) m k k>m which in plain English means: For any integer, there
is another integer greater than it.
(2) k m k>m which in plain English means: There is some integer
that is greater than every integer.
The only difference is the order of the quantifiers, but the meaning
is MUCH changed.