とうとう目標の最終節である。 最近、15分以上続けてものを考えることができないことを思い知っている。 第2章 スキーム 2.9 形式スキーム ミッターク・レフラー条件（ML) {φ_{n'n}(A_n') ⊂ A_n | n' > n} が停留する。 （ドイツ語が読める私には、どうして…