長い書き損じ

今日は久しぶりに外出したので疲れました。ゼミの発表だったのですが、一つ思ったこととしてちゃんと最新版の教科書を買いましょうということですね。2/1の進歩としては数理論理学をゼミによってある程度進めることができました。 完全性定理の証明に登っています。今日は思考することの話をしたいです。