Discussion Overview
The discussion revolves around the concept of collections of sets, specifically addressing when such collections become too large to be classified as sets. Participants explore foundational aspects of set theory, particularly in relation to Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC) and alternative frameworks like NBG set theory.
Discussion Character
- Exploratory
- Technical explanation
- Debate/contested
Main Points Raised
- One participant questions how to determine when a collection of sets is too large to be a set, using the collection of all groups and vector spaces as examples.
- Another participant suggests that a collection X can be shown to be a proper class by exhibiting a surjection from X to the class of all sets or an injection from the class of all sets to X.
- It is proposed that Russell's paradox and diagonal arguments can be applied to demonstrate that certain collections are not sets.
- A participant inquires about how these concepts are framed within ZFC, specifically how to exhibit the surjection or injection for classes like all groups or all sets.
- One response indicates that the relation P(X,Y) can define an injective function from the collection of all sets (Set) to the collection of all groups (Grp), suggesting a method to establish these relationships within ZFC.
- There is mention of NBG set theory as a more convenient framework for dealing with proper classes, allowing classes to be treated as objects rather than predicates.
- Another participant notes that adopting a large cardinal axiom is a stronger assumption than ZFC alone, implying a potential avenue for further exploration.
Areas of Agreement / Disagreement
Participants express various viewpoints on the nature of collections and their classification as sets or proper classes. There is no consensus on the best approach or framework for addressing these questions, indicating ongoing debate and exploration of the topic.
Contextual Notes
Limitations include the dependence on specific definitions of sets and classes, as well as unresolved mathematical steps related to the surjections and injections discussed. The discussion also reflects differing interpretations of foundational set theory principles.
Who May Find This Useful
This discussion may be of interest to those studying set theory, mathematical logic, or foundational mathematics, particularly in the context of ZFC and NBG frameworks.