Title: A hierarchy of formulas in set theory
Subjects: Set theory