For every positive integer $n$ there is an abelian group of order $n$, namely the cyclic group of that order.
For some integers $n$, such as the prime numbers, this is the only group of that order (up to isomorphism). And all groups of that order are thus abelian.
For still some other integers, such as $4$, there are several groups of that order but all of them are abelian.
It is thus a meaningful question to ask if for some specific $n$ all groups of order $n$ are abelian.
For example one could ask:
Let $G$ be group of order $4$. Prove that $G$ is abelian.
This is not the same as.
Show that an abelain group of order $4$ exists.
This would be easy to answer for every $n$ as you remarked.