2012-12-18 ■ 授業第二十五回目、本日は古典述語論理の完全性定理と健全性定理の話をします。 今回はまず、古典述語論理のモデル「タルスキ・モデル」を紹介します。また、古典述語論理の完全性定理を、命題論理の時と同様、「分析的推論」を一般化した証明探索樹を使った方法により構成します。命題論理のモデル構成法との違いは、「ケーニッヒの補題」と呼ばれる無限的な原理を使用することです。