How do I prove the pairing axiom by the other ZFC axioms?
118189
Proving the pairing axiom from the rest of ZF
44259
Heine-Borel Theorem ($\mathbb{R}^k$) (in ZF)
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
143979
How can I prove that $|A| + |B| = |A\cup B| + |A\cap B|$?
91947
Proof of $ f:I_n \rightarrow I_m \Rightarrow n = m$
66548
proving topological equivalence
136835
ZF Set Theory - If $|A|^{|B|} = |B|$, then $|A| = 1 = |B|.$
89796
How should I prove the duality?
101803
A\(B∩C) = (A\B) ∪ (A\C) how to prove?
20252
The Axiom of Choice and the Cartesian Product.
58267
Godel's pairing function and proving c = c*c for aleph cardinals
110944
Proving that $AB-BA=cI$ for nontrivial $c \in \mathbb{C}$
49578
Proving $a\mathbb{Z}\cap b\mathbb{Z}=[a,b]\mathbb{Z}$
85819
A non-polyhedral pair $(X,A)$ with both $X$ and $A$ polyhedral
20556
Isomorphism between two models of Hilbert's Axioms with different notions of congruence
111129
Show that $[K:F]_s = [K:L]_s [L:F]_s$ and $[K:F]_i = [K:L]_i [L:F]_i$.
76049
Prove that if $a|b$ and $a|c$ then $a|(sb+tc)$ for all $s, t \in \mathbb{Z}$