算術的階層の厳密性と形式的手法の限界について(外部記事)
https://www.kurims.kyoto-u.ac.jp/~terui/incomp.pdf
#一階算術
#外部記事
算術的階層
の厳密性を用いて
Gödelの不完全性定理
を導く．