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:
“What chiefly distinguishes the daily press of the United States from the press of all other countries is not its lack of truthfulness or even its lack of dignity and honor, for these deficiencies are common to the newspapers everywhere, but its incurable fear of ideas, its constant effort to evade the discussion of fundamentals by translating all issues into a few elemental fears, its incessant reduction of all reflection to mere emotion. It is, in the true sense, never well-informed.”
—H.L. (Henry Lewis)
“Power is action; the electoral principle is discussion. No political action is possible when discussion is permanently established.”
—Honoré De Balzac (1799–1850)
“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)