Proving $A \cup B$ with the help of axioms
115955
Prove the Probability of Two Events
81618
Prove $||a|-|b| | \leq |a-b|$
138069
Proof that $\bigcap_{a\in A} \bigg(\, \bigcup_{b\in B} F_{a,b} \, \bigg) = \bigcup_{f\in ^AB} \bigg(\, \bigcap_{a \in A} F_{a,f(a)}\,\bigg) $
33524
Prove the following $A \setminus (B\setminus C) = (A\setminus B)\cap (A \cup C)$
21097
If $A$ and $B$ are independent events, and $A$ and $C$ are independent events, how do I show that $A$ and $B\cup C$ are independent?
141814
Proofs using theorems instead of axioms
112084
Proof of a formula for the power set of a union of two sets
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
86505
Let $A,B \subset \mathbb{R}$. Show that $\sup(A \cup B) = \max\{\sup A, \sup B\}$
95935
Prove A = $(A \cap B) \cup (A \cap B^c)$ using the distributive and associative law.
142840
Open axioms of equality
127656
How to prove that if $A$ is infinite and $B$ is finite, then $|A\cup B|=|A|$?
132971
Prove that $|a| < b \iff -b<a<b$
50266
In the following figure prove that: $AK||BC$
148668
How to show $A\times (B\cup C) = (A\times B)\cup (A\times C)$
7416
Let $ A $, $ B $ and $ C $ be sets. If $ A \cup B = A \cup C $ and $ A \cap B = A \cap C $, then show that $ B = C $.
118189
Proving the pairing axiom from the rest of ZF