現代論理学の基本的なトピックを選び、命題論理学、述語論理学、形式的数論、帰納的関数、不完全性定理について概説する