>>54
＞次に控えている 数学基礎論 で完全に粉砕されるんだろうな…　鬱。
シラバスにも教科書にも書かれているように、ゲーデルの不完全性定理が目標。
試験は毎回、不完全性定理の証明を論述する問題がでるという噂。