Name
Nikoleta Sevastou
Date of Defense
19-03-2025
Three-member Committee
Costas D. Koutras (Co-Advisor)
Nikolaos Rigas (Co-Advisor)
Panagiotis Rondogiannis
Abstract
This thesis is about the two most renowned proofs for Peano Arithmetic’s consistency. One proof is Gentzen’s and the other Gödel’s. We also present at the end some objections that have come up since their first publication.