Discussion
In ZFC, the axiom of global choice cannot be stated as such because it involves existential quantification on classes: so it is not a statement of the language of ZFC (nor even an infinite number of statements like axiom schemes requiring universal quantification on classes). It can, however, be stated for a given explicit class, e.g., one can state the fact that such-or-such an explicit class-function is a choice function for V \ { ∅ } or that such-or-such a class-relation is a well-ordering of V: in this form (i.e., for some explicit class function that is tedious but possible to write down), the axiom of global choice follows from the axiom of constructibility.
In Gödel-Bernays, global choice does not add any consequence about sets beyond what could have been deduced from the ordinary axiom of choice.
Global choice is a consequence of the axiom of limitation of size.
Read more about this topic: Axiom Of Global Choice
Famous quotes containing the word discussion:
“We should seek by all means in our power to avoid war, by analysing possible causes, by trying to remove them, by discussion in a spirit of collaboration and good will. I cannot believe that such a programme would be rejected by the people of this country, even if it does mean the establishment of personal contact with the dictators.”
—Neville Chamberlain (1869–1940)
“If we had had more time for discussion we should probably have made a great many more mistakes.”
—Leon Trotsky (1879–1940)
“We cannot set aside an hour for discussion with our children and hope that it will be a time of deep encounter. The special moments of intimacy are more likely to happen while baking a cake together, or playing hide and seek, or just sitting in the waiting room of the orthodontist.”
—Neil Kurshan (20th century)