set theory all formulas - Search