Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic

Ka-Yue Cheng

According to Chaitin, Gödel once told him "it doesn't matter which paradox you use [to prove the First Incompleteness Theorem]". In this paper I will present a few infinitary parad…