授業内容

1. 前回の復習
2. 宿題の答え合わせ
3. クリプキ・フレーム
4. 健全性と完全性