Teoría Axiomática de conjuntos y Lógica Matemática

Abstract

El objetivo es la realización de un trabajo en el que se expongan las razones que hacen necesaria la construcción de una teoría axiomática de conjuntos, los elementos de dicha teoría y sus relaciones con la Lógica Matemática. Se presentará la transición de la axiomática de Zermelo a la teoría de Zermelo-Fraenkel, comúnmente aceptada hoy en día. Y se discutirá el Axioma de Elección, cuestión que enlaza con la Lógica Matemática, concretamente con las nociones de incompletitud de Gödel.