補講日について 補講日：8月19日（火） 場所：第9講義室 内容： 10:30-12:00 述語論理の演習 13:30-15:00 形式的自然数論Ｑ 15:30-17:00 2+2=4 本日の授業内容 授業第十回目、量化子 ∀の導入規則と∃の除去規則に付加されているeigenvariable条件についての復…