Three Short Stories around Gödel's Incompleteness Theorems
Makoto KIKUCHI, Taishi Kurahashi · Journal of the Japan Association for Philosophy of Science · 2011
We describe three short storics around G6ders incompleteness theorems ． Firstly ， we show that the second incompleteness theorem is derivable by formalizillg Yablo ' s paradox ． Then ， we prove a version of the incompleteness theorcm which is not formalizable ． Finally ， we discuss the theorems of arithmetic in nonstandard models of arithmetic and the definability of truth in models of arithmetic