The axiom of choice, first stated by Zermelo (1904), was proved independent of ZF by Fraenkel (1922), but has come to be widely accepted by mathematicians.
Το αξίωμα επιλογής, αρχικά διατυπωμένο από τον Ζερμέλο (1904), αποδείχθηκε ανεξάρτητο της θεωρίας ZF από τον Φράνκελ (1922), αλλά είναι πλέον ευρέως αποδεκτό από τους μαθηματικούς.