Otros artículos de Matemática

Axiomática de conjuntos
Relaciones y funciones. El axioma de sustitución








Dentro de la axiomática del sistema NBGQ (Newmann-Bernays-Gödel-Quine) se considera como séptimo axioma el de sustitución. 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 el axioma de sustitución.

14 noviembre 2020
contador de visitas
hit counter

Para obtener el texto completo en formato pdf, pinche aquí:

RelacionesFuncionesAxiomaSustitución.pdf (397 Kb)


 


Otros artículos de Matemática