Text this: A hierarchy of formulas in set theory/