Lemma 8.2.5 Analysis by Tao (set theory)
139247
Real Analysis - Prove a set is countable
9330
Meaning behind Filter in Set Theory
54497
Set Notation - Inclusion and Proper Inclusion
42970
Proof of a proposition about recursion definition (Terence Tao's Analysis I)
134120
Prove statement with a counter-example: For all sets S, T and V, V ∪ (S ∩ T) = (V ∪ S) ∩ T is false
44974
Infinite set and countable subsets
29744
Compactness and axiomatisability
117479
Mutual set of representatives for left and right cosets: what about infinite groups?
47697
Russell's paradox: a set cannot contain its own powerset
111032
Proof of Sets involving the Cartesian Product
33117
Cyclic containment of sets
77791
Proving an inclusion related to algebraic sets and interpreting it
12404
Union of definable sets
156006
Cardinality of set containing all infinite subsets of $\mathbb{Q}$
52451
Ordered Triples and Set Theory
32965
Proving that for infinite $\kappa$, $|[\kappa]^\lambda|=\kappa^\lambda$
118189
Proving the pairing axiom from the rest of ZF