Idea. [006M]

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.