2026-05-06T00:01:57Zhttps://uvadoc.uva.es/oai/request

oai: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 Lógica Teoría de conjuntos Zermello-Fraenkel 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. Grado en Matemáticas 2019-09-27T07:27:45Z 2019-09-27T07:27:45Z 2019 info:eu-repo/semantics/bachelorThesis http://uvadoc.uva.es/handle/10324/38215 spa Attribution-NonCommercial-NoDerivatives 4.0 Internacional info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-nd/4.0/ application/pdf https://uvadoc.uva.es/bitstream/10324/38215/4/TFG-G3591.pdf.jpg Hispana TEXT http://creativecommons.org/licenses/by-nc-nd/4.0/ UVaDOC. Repositorio Documental de la Universidad de Valladolid http://uvadoc.uva.es/handle/10324/38215