Teoría de conjuntos de Von Neumann-Bernays-Gödel
De Wikipedia, la enciclopedia encyclopedia
La teoría de conjuntos de von Neumann-Bernays-Gödel (denotada NBG) es una teoría de conjuntos axiomática. Su noción primitiva es la de clase, en lugar de conjunto como en la teoría de Zermelo-Fraenkel (denotada ZF). A diferencia de otras teorías de conjuntos, NBG es finitamente axiomatizable.