- Borel hierarchy is used to prove facts about the Borel sets using #transfinite induction on rank.