User blog comment:LittlePeng9/Higher order set theory/@comment-2033667-20140921204851

"To every formula and free variable appearing in it we associate two types of sets" I think you mean classes.