不完全性定理ゼミのノート。