The set of all sets contradiction

Click For Summary
SUMMARY

The discussion centers on the paradox of the set of all sets, denoted as A. It establishes that the power set P(A) is a subset of A, asserting that since P(A) is a set, it must belong to A. The contradiction arises from the theorem stating there is no injection from P(A) to A, leading to the conclusion that the cardinality of P(A) is greater than that of A, formally expressed as |P(A)| > |A|.

PREREQUISITES
  • Understanding of set theory concepts, particularly power sets.
  • Familiarity with cardinality and the implications of injections and surjections.
  • Knowledge of Cantor's theorem regarding the size of power sets.
  • Basic grasp of mathematical logic and proof techniques.
NEXT STEPS
  • Study Cantor's theorem and its implications on set sizes.
  • Learn about injections and surjections in set theory.
  • Explore the concept of cardinality in more depth, particularly infinite sets.
  • Investigate other paradoxes in set theory, such as Russell's paradox.
USEFUL FOR

Mathematicians, students of set theory, and anyone interested in the foundations of mathematics and logical paradoxes.

Unassuming
Messages
165
Reaction score
0

Homework Statement



Let A be the set of all sets.

#1.) Show that P(A) is a subset of A.

#2.) Find a contradiction.


Homework Equations





The Attempt at a Solution



#1.) We know that P(A) is a set. Therefore it must be in A, since A is the set of ALL sets.

#2.) I cannot figure out what to do here. I do not have a theorem that says that |P(A)| > |A|. I do have a theorem that states that there is no injection from P(A) to A and also that there is no surjection from A to P(A).

Since there is no injection from P(A) to A, does this alone mean that |P(A)| > |A| ?
 
Physics news on Phys.org
Yes, it does. If |C|<=|D| then there is an injection from C->D. If there is no injection then the opposite must hold so |C|>|D|.
 

Similar threads

  • · Replies 24 ·
Replies
24
Views
4K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
7K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K