For finite sets X, the axiom of choice follows from the other axioms of set theory.
Για πεπερασμένα σύνολα X, το αξίωμα της επιλογής προκύπτει από τα υπόλοιπα αξιώματα της θεωρίας συνόλων.