特に不完全性定理のサーベイ https://t.co/kMiBjP9OF7 でも紹介した、Beklemishev の保存性定理（定理42）の簡単な証明も見つかったので、そのあたりに興味のある方はぜひ見てもらえたらと思います。 今回の論文の概説は後日余裕のあるときに行いたいと思います！

数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

@waidotto 更に Con_T → ￢Pr_T(φ) が証明できないような φ については，菊池先生との共著論文「Gödelの不完全性定理を巡る三つの断章」で触れています． https://t.co/9CiohqU2IR ただし統一的な分析は十分には行えていないという現状ですね．