新井敏康『数学基礎論』増補版
新井敏康『数学基礎論』の増補版．何が増えたのかはよく知らない．
3.8章の不完全性定理の意義
3.9章: 証明可能性論理について．
様相論理GLの健全性定理及び完全性定理について
Solovayの算術的完全性定理