久しぶりにブログを書く。 PCからだとキーボードがいつもと違うので書きにくい。 ひょんなことで出版されていることを知ったモデル理論の本を買った。 ちまちま読み進めていこうと思う。就職するまでに読み終えられたらいいな。 部屋にある数学基礎論関連の…