歴史は印象にないな。論理記号の基本から始めて、ゲーデルの不完全性定理まで行く。単位認定試験はゲーデルの不完全性定理について、論理式交えて理解した内容を説明させる感じ。