風邪のため、昨日は一日休憩。2章は、前回のエントリーでid:yoriyukiさんがコメントくれたおかげでサクっと終了。とが同型であることさえ言えれば、いわゆるコンパクト性定理はのコンパクト性からそのまま、おまけでついてくる感じ。3章は他の章とは独立らし…