Updated: Dec 14, 2020
Before we prove the Banach-Tarski paradox itself, which is like the final boss of all of what we've done until now, we will prove a weaker claim, the Haussdorf paradox and use it to prove the final boss.
Theorem 4. Hausdorff Paradox
Q.E.D