La Teoría de Tipos: Una Introducción Informal
P. M. Neale·1978·no ficcion
Mientras que 'Fundamentos de la Teoría de Conjuntos' es una obra seminal sobre la teoría de conjuntos, 'La Teoría de Tipos' ofrece un enfoque fundacional alternativo que pocos consideraron para contrastar el libro de Hausdorff. Explora un camino diferente para la formalización matemática que resuelve problemas similares, pero con constructos radicalmente distintos, alejándose de las discusiones canónicas de ZFC.













