One of the most important consequences of theAxiom of Choiceis theWell –OrderingTheorem: Every set can be well ordered. However, the proof is an outstanding example of a nonconstructive proof. That is, the proof does not give any indication of how the order relation is constructed. For example, it is not known how the set of real numbers can be well ordered.