今日の時点での進捗状況 [1] BGE が ZFC の保存拡大になることの証明の pdf 作成. (atom からなる集合を許容する集合論について.) ジェネリック拡大と置換公理のあたり. [2] [ブルバキ位相線型空間] vol.1. 双対関係と転置写像. [3] [ブルバキ代数] nilpoten…