A proof requiring the axiom of choice may establish the existence of an object without explicitly defining the object in the language of set theory.
Μια απόδειξη που απαιτεί το αξίωμα της επιλογής μπορεί να αποδείξει την ύπαρξη ενός αντικειμένου, χωρίς σαφή οριοθέτηση του αντικειμένου στη γλώσσα της θεωρίας συνόλων.