■

授業第二十三回目、本日は、メタの帰納法により、古典命題論理と古典述語論理の健全性定理の証明をします。
また、ヒルベルト流(Hilbert style)や推件計算(sequent calculus)などの、自然演繹とは異なったスタイルの論理体系の書き方を紹介します（紹介している推件計算は、直観主義論理のものですのでご注意を）。