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:
“Bigotry is the disease of ignorance, of morbid minds; enthusiasm of the free and buoyant. Education and free discussion are the antidotes of both.”
—Thomas Jefferson (1743–1826)
“This is certainly not the place for a discourse about what festivals are for. Discussions on this theme were plentiful during that phase of preparation and on the whole were fruitless. My experience is that discussion is fruitless. What sets forth and demonstrates is the sight of events in action, is living through these events and understanding them.”
—Doris Lessing (b. 1919)
“Power is action; the electoral principle is discussion. No political action is possible when discussion is permanently established.”
—Honoré De Balzac (1799–1850)