Similarly, all the statements listed below which require choice or some weaker version thereof for their proof are unprovable in ZF, but since each is provable in ZF plus the axiom of choice, there are models of ZF in which each statement is true.
Ομοίως, όλες οι δηλώσεις που αναφέρονται παρακάτω, τα οποία απαιτούν την επιλογή της ή κάποια ασθενέστερη εκδοχή της για την απόδειξη τους είναι αναπόδεικτες στο ZF, αλλά δεδομένου ότι το καθένα είναι αποδείξιμο στο ZF συν το αξίωμα της επιλογής, υπάρχουν μοντέλα της ZF στο οποίο κάθε κατάσταση είναι αληθινή.