Independence of the axiom of choice