Together these results establish that the axiom of choice is logically independent of ZF.
Μαζί με τα αποτελέσματα αυτά αποδεικνύεται ότι η αξίωμα της επιλογής είναι λογικά ανεξάρτητο από το ZF.