As discussed above, in ZFC, the axiom of choice is able to provide "nonconstructive proofs" in which the existence of an object is proved although no explicit example is constructed.
Όπως αναφέρθηκε παραπάνω, στο ZFC, το αξίωμα της επιλογής είναι σε θέση να παρέχει μη δομημένες αποδείξεις στην οποία η ύπαρξη ενός αντικειμένου αποδεικνύεται, αν και κανένα παράδειγμα δεν είναι κατασκευασμένο.