授業内容

1. 前回の復習
2. 準備：形式言語
3. 自然数の帰納的定義
4. 項の帰納的定義
5. 命題の帰納的定義
6. 宿題