Use the axioms of ZFC to prove the cartesian product A x B is a set
51206
If $X$ and $Y$ are sets, their cartesian product $X\times Y$ is a set.
62936
Proving equivalencies of two versions of the Axiom of Choice
59820
ZF Extensionality axiom
31389
consistency of ZF\{Power Set axiom}
140868
Axiomatization of $\mathbb{Z}$ via well-ordering of positives.
153934
How to prove that a set R\Z is open
103769
The Cartesian product of a finite number of countable sets is countable
71653
Why is the Cartesian product of a set $A$ and empty set an empty set?
142840
Open axioms of equality
85398
$\mathsf{ZF}$ is not finitely axiomatizable
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
58186
Set theory proof, $\exists g(g\colon A\twoheadrightarrow C)$ or $\exists h(h\colon C\hookrightarrow B)$
115675
Strange consequences of Axiom of Choice in Zermelo set theory
27899
Can we prove the existence of $A\cup B$ without the union axiom?
19414
Uncountable subset with uncountable complement, without the Axiom of Choice
78290
Countable axiom of choice: why you can't prove it from just ZF
39708
Proving $(A\le B)\vee (B\le A)$ for sets $A$ and $B$