Dentro de la axiomática del sistema NBGQ (Newmann-Bernays-Gödel-Quine) se consideran como tercer y cuarto axiomas los de el par no ordenado y el de regularidad de Von Neumann. En este sistema las variables se refieren siempre a clases. Entre las clases podemos distinguir dos tipos: aquellas que son a su vez elementos de otras clases y aquellas que no son elementos de clase alguna. Las primeras son los conjuntos y las segundas son las clases últimas. Mostramos aqui los axiomas del par no ordenado y de regularidad.

19 septiembre 2020