Summer of Math Exposition

Presented by 3Blue1Brown 3blue1brown

How do I prove this? | Proofs, sets and logic