On Mon, 12 Jul 2004, Matthew Frank wrote: > Given that we generally prefer finitely axiomatized theories to infinitely > axiomatized theories, why do we tend to use ZF instead of NBG? --Matt Do we, really? And if we don't, why should we? Neil Tennant