So there are three well-known famous equivalent forms of the axiom of choice.