For example, one can reduce the formula to . For a class and a set variable symbol , it is necessary to be able to expand each of the formulas , , , and into a formula without an occurrence of a class.^{p. 339}

Semantically, in a metalanguage, the classes can be described as equivalence classes of logical formulas: If is a structure interpreting