2010-10-19 ■ 授業第十六回目は、「論理結合子の意味とは何か」の続きで、前回紹介した「インバージョン原理」を数学的に定式化した「証明の正規化」について、最小命題論理では全ての証明が正規化可能であるというメタ定理を証明します。ただし、証明は概略にとどめ、技術的に難しい帰納法についてなどの話題は省きます。