Resumo
Frequentemente, a prática de ZF inclui o uso metateórico da noção de classes como forma de abreviar expressões ou simplificar o entendimento de recursos conceituais. A teoria NBG expressa formalmente a internalização desse recurso na teoria dos conjuntos; nesse caso, as classes, antes usadas metateoricamente, passam a ser capturadas também pelas quantificações da teoria de primeira ordem.…