Bagaria, JoanPastó Pellicer, Paula2023-01-132023-01-132022-06-13https://hdl.handle.net/2445/192141Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria[en] Peano’s arithmetic is given by a set of axioms that express the basic properties and operations of natural numbers. This paper introduces the basics of this theory and studies the undecidability of certain results in it. To do so, it focuses on the Hydra and Hercules theorem, and on Goodstein’s theorem.26 p.application/pdfcatcc-by-nc-nd (c) Paula Pastó Pellicer, 2022http://creativecommons.org/licenses/by-nc-nd/3.0/es/Decidibilitat (Lògica matemàtica)Treballs de fi de grauTeoria axiomàtica de conjuntsTeoria de la provaHistòria de la matemàticaDecidability (Mathematical logic)Bachelor's thesesAxiomatic set theoryProof theoryHistory of mathematicsinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/openAccess