■

大変申し訳ありません、今週は会議準備が終わりそうにないため、急遽、休講とさせて頂きます。
次回は1月12日の予定です。

• 1月12日:平常授業(古典論理とそのモデル)
• 1月19日:平常授業(古典論理の完全性定理)
• 2月エクストラ補講:エルブランの定理(古典論理で存在具体性を真似る)

予定していた内容は1月の後の回に繰り延べとし、エクストラ回で予定していた「エルブランの定理」の話題は、２月に補講形式で行いたいと思います。よろしくお願いいたします。