# name
Veritats aritmètiques indemostrables en l'aritmètica de Peano

# metadata.dc.description[].value
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2022, Director: Joan Bagaria

# metadata.dc.description.abstract[].value
[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.

# metadata.dc.rights[].value
cc-by-nc-nd (c) Paula Pastó Pellicer, 2022

# metadata.dc.source[].value
Treballs Finals de Grau (TFG) - Matemàtiques

# metadata.dc.title[].value
Veritats aritmètiques indemostrables en l'aritmètica de Peano