Axioms of choice and free construction principles I