Constructions in the foundations of mathematics have shown that such set theoretic aids arc a powerful ad dition; after all, the entire glossary of concepts of classical mathemarics is constructible from them.