■

授業第十九回目、本日は最終回です。直観主義論理と古典論理の関係としてグリベンコの定理の話をもう一回します。