Set and cardinality injection and surjection proof
35043
Cardinality of a set A is strictly less than the cardinality of the power set of A
41359
Constructing a bijection
133083
Injectivity and surjectivity of a recursive function
21707
Constructing a Bijective function via an injective and surjective one.
123613
Double Complement of a set proof
77791
Proving an inclusion related to algebraic sets and interpreting it
106325
Question about Cardinality
118189
Proving the pairing axiom from the rest of ZF
10839
Problem in Cardinality and Order
44214
The number of subsets of a set of cardinality $n$
62936
Proving equivalencies of two versions of the Axiom of Choice
94617
Showing Consistency and Completeness implies a unique truth assignment
16092
How to prove that the composition of two surjective functions is surjective
82947
Undecidable cardinality
73526
The equivalence of "Every surjection has a right inverse" and the Axiom of Choice
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
54497
Set Notation - Inclusion and Proper Inclusion