[bombcar]

There's a large body of math that can be proved simply, or proved complexly using set theory ;)