Consequences of the axiom of choice /