Proving set of all sets doesn't exist using axioms of ZF set theory
120376
Schema of separation and set of all sets
111723
Can it be proven in $\sf ZF^{\neg\infty}$ that the sets $x_n=\{x_{n+1}\}$ do not exist?
126633
Is a contradiction enough to prove a set equality to $\varnothing$?
100726
Prove that the set of powers of a set, $\{ A^n : n \in \mathbb{N} \}$ exists by using ZFC axioms (without replacement).
21938
describing all possible topologies on a set
110957
No non-trivial clopen sets in $\mathbb{R}$? How to give a direct proof?
84562
Proof using only field axioms
93771
Prove that for any set $A$ there is some $x \notin A$
108922
Cardinality and infinite sets: naturals, integers, rationals, bijections
149926
ZFC with class terms: is any set also a class?
134120
Prove statement with a counter-example: For all sets S, T and V, V ∪ (S ∩ T) = (V ∪ S) ∩ T is false
109070
Question about the proof of the distributive property for sets
88099
Not $\sigma$-compact set without axiom of choice
66948
Proving question on sets
49385
Proving $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ in a Hilbert system where it is not an axiom
127362
How do I prove that there doesn't exist a set whose power set is countable?
762
Proving every infinite set $S$ contains a denumerable subset