show/hide this revision's text 1 [made Community Wiki]

The usual axiomatizations of set theory (without urelements) mean that every set in the entire set-theoretic universe is ultimately built from copies of the emptyset, in complex empty-box-in-a-box-in-a-box constructions.