Index. Forcing [006L]
Index. Forcing [006L]
Idea 1. [006M]
Idea 1. [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.
Idea 2. Forcing [006N]
Idea 2. Forcing [006N]
Forcing is a technique that makes it possible to prove independence results, particularly about ZFC.