最近、身辺が流動化してきています。
落ち着いて blog を書いている場合ではなくなってきています。
そのために更新が遅れています。
秋ぐらいまでは、不安定な状況が続くかもしれません。
ほとんど勉強も進んでいませんし…。
なお、少し前に、M. Giaquinto さんによる Russell Paradox の簡略化された証明を、この日記に載せるつもりですと記しましたが、あれこれ補足した証明を下書きとして書いたものの、簡単な証明でありながら、細部を詰めることができていません。という訳で、その証明の掲載は延期させてもらいます。
