Hereditarily Finite Sets

• Built from $\varnothing$ using finitely many pairings and unions.

• $\text{HF}={\bigcup }_{n<\omega }{V}_n$

• $x\in HF⟺x\text{ finite and }\forall y\in x\Rightarrow y\in HF$