20230910の日記

久しぶりにブログを書く。

PCからだとキーボードがいつもと違うので書きにくい。

ひょんなことで出版されていることを知ったモデル理論の本を買った。

ちまちま読み進めていこうと思う。就職するまでに読み終えられたらいいな。

部屋にある数学基礎論関連の本を整理した。何冊あるのかわからないけれど、自分は本当にこの分野が好きなんだなと思った。