久しぶりに戸次先生の数理論理学を読みました。演習問題をひたすら解きながら思ったのですが、駒場で受けた記号論理学の講義はだいぶまずい構成だったのではないかな。述語論理の意味論をきちんとやらずに証明論をやっていた気がする。意味論をきちんと定義…