The purpose of this thesis is to prove the equiconsistenchy of Peano Arithmetic with Zermelo-Fraenkel set theory without the axiom of infinity using the Ackermann encoding. The first chapter is dedicated to an informal introduction to the agruments, while the second chapter consists of the formal introduction of either Zarmelo Fraenkel set theory and Peano Arithmetic. In chapter 2, a modified version of both theories is also defined to simplify subsequent demonstrations. Chapters 3 and 4 consist of the proof of the equiconsiststency of ZF-Inf and PA, obtained using Ackermann encoding. The last chapter consist of a comment about the role of axiom of choice and the final conslusion.
The purpose of this thesis is to prove the equiconsistenchy of Peano Arithmetic with Zermelo-Fraenkel set theory without the axiom of infinity using the Ackermann encoding. The first chapter is dedicated to an informal introduction to the agruments, while the second chapter consists of the formal introduction of either Zarmelo Fraenkel set theory and Peano Arithmetic. In chapter 2, a modified version of both theories is also defined to simplify subsequent demonstrations. Chapters 3 and 4 consist of the proof of the equiconsiststency of ZF-Inf and PA, obtained using Ackermann encoding. The last chapter consist of a comment about the role of axiom of choice and the final conslusions.
Equiconsistency of Peano arithmetic with Zermelo-Fraenkel set theory without the axiom of infinity
SALADINO, FLAVIO VALERIO
2023/2024
Abstract
The purpose of this thesis is to prove the equiconsistenchy of Peano Arithmetic with Zermelo-Fraenkel set theory without the axiom of infinity using the Ackermann encoding. The first chapter is dedicated to an informal introduction to the agruments, while the second chapter consists of the formal introduction of either Zarmelo Fraenkel set theory and Peano Arithmetic. In chapter 2, a modified version of both theories is also defined to simplify subsequent demonstrations. Chapters 3 and 4 consist of the proof of the equiconsiststency of ZF-Inf and PA, obtained using Ackermann encoding. The last chapter consist of a comment about the role of axiom of choice and the final conslusion.File | Dimensione | Formato | |
---|---|---|---|
Equiconsistency_of_ZF_Inf_and_PA.pdf
accesso aperto
Dimensione
449.71 kB
Formato
Adobe PDF
|
449.71 kB | Adobe PDF | Visualizza/Apri |
The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License
https://hdl.handle.net/20.500.12608/64769