Is every buildable set that exists, by Extensionality, unique in ZF Set Theory?
88736
How does the Axiom of Extensionality prove the uniqueness of Specified sets?
88099
Not $\sigma$-compact set without axiom of choice
13779
Canonical copies of sets
63538
Impossibility of constructing a continuum-size linearly independent set in $\Bbb R$
70048
In which topologies do open sets maintain open under countable or arbitrary intersection?
146560
Is there any uncountably infinite set that does not generate the reals?
91237
Every infinite set contains a countable subset
158671
Cardinality of a set that consists of all existing cardinalities
30587
Uncountable well ordered set in $Z^-$ theory.
113863
The non-existence of non-principal ultrafilters in ZF
9158
Proving that a propositional theory of any cardinality has an independent set of axioms
30968
Is it possible that every set can be specified?
100726
Prove that the set of powers of a set, $\{ A^n : n \in \mathbb{N} \}$ exists by using ZFC axioms (without replacement).
78290
Countable axiom of choice: why you can't prove it from just ZF
156252
Are sets constructed using only ZF measurable using ZFC?
77548
Given an arbitrary infinite set $S$, how to construct an injection $\mathbb{N} \to S$ with the Axiom of Choice?
151521
Set Theory: Tree Property