著者

菊池 誠 倉橋 太志

出版者

科学基礎論学会

雑誌

科学基礎論研究 (ISSN:00227668)

巻号頁・発行日

vol.38, no.2, pp.75-80, 2011-05-15 (Released:2017-08-01)

参考文献数

26

被引用文献数

1

---

We describe three short stories around Gödel's incompleteness theorems. Firstly, we show that the second incompleteness theorem is derivable by formalizing Yablo's paradox. Then, we prove a version of the incompleteness theorem 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 within other models.