授業内容

1. はじめに
2. 古典論理
3. 形式的な算術
4. グローバルな循環性
5. 第一不完全性定理