Lógica y teoría de conjuntos

Documento con los resultados esenciales sobre la fundamentación de la matemática.

Se divide en tres partes:

Primera parte: Lógica de primer orden.Teorías axiomáticas, introducción a la teoría de modelos, el teorema de completitud de Gödel, introducción a la teoría de la recursión, los teoremas de incompletitud de Gödel.

Segunda parte: La lógica de la teoría de conjuntos.
Las axiomáticas de Zermelo-Fraenkel y von Neumann-Bernays-Gödel, modelos de la teoría de conjuntos, la formalización de la lógica en la teoría de conjuntos.

Tercera parte: Teoría de conjuntos.
Ordinales, inducción y recursión sobre relaciones bien fundadas, cardinales.

Descarga tutorial