We can show, that being abelian is independed of the other group axioms by constucting a group that is abelian and a group that is not abelian. Assuming our theory is consistent, this ought to be possible if and only if being abelian is independend of the other axioms.

Forcing is a technique that makes it possible to prove independence results, particularly about ZFC.