_ （4/15記：長らく読んでは止まり、読んでは止まりを繰り返していた「集合論 ― 独立性証明への案内」をようやく通読した（全て理解したとは言っていない）。元々順序集合論に興味があったので、強制法の理論が半順序集合と密接に関わっている点は好都合だったのだが、実際に強制法を使えるようになるまではまだ道のりが長そうである。だがそれがいい。）
最近のツッコミ↓