> 9.What else should I be asking about schemata? Given that we generally prefer finitely axiomatized theories to infinitely axiomatized theories, why do we tend to use ZF instead of NBG? --Matt