引き続きこっそり読んでいます。もうちょっとでPartA 第三講が終わります。 いくつか、コメントというかメモっぽいものを。p.31 定理3.2（演繹定理）の証明は読者に任されていますが、その証明中で唯一問題になりそうなのは の導出だと思います。ちょこちょ…