universal set theory formula - Search