2026-04-27T20:00:18Zhttps://uvadoc.uva.es/oai/requestoai:uvadoc.uva.es:10324/382152021-06-30T01:43:13Zcom_10324_38col_10324_852
Introducción a la lógica y teoría axiomática de conjuntos. Construcción del conjunto de los números naturales
Martín Valmaseda, Rubén
Cano Torres, José María
Universidad de Valladolid. Facultad de Ciencias
Este trabajo es una pequeña recopilación de diferentes libros y notas sobre
lógica y teoría de conjuntos con el objeto de conocer la base sólida en la que
se apoyan todas las matemáticas.
Observando que todas las ramas de la matemática parten de unos axiomas
y se demuestran enunciados a partir de ellos se intuía que podía haber una
relación entre la matemática y la lógica y por eso matemáticos como Zermello
y Hilbert redujeron las matemáticas a la lógica y a la teoría de conjuntos.
Este trabajo comienza con lógica proposicional y de primer orden viendo sus
sintaxis y algunos resultados porque saber razonar en lógica es saber razonar
en matemáticas y en la vida en general.
El trabajo acaba con los axiomas de Zermello-Fraenkel y la construcción de
los números naturales.
2019-09-27
2019-09-27
2019
info:eu-repo/semantics/bachelorThesis
http://uvadoc.uva.es/handle/10324/38215
spa
info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Attribution-NonCommercial-NoDerivatives 4.0 Internacional