今日は木曜日の授業最終日にして初めて記号論理学の授業に出ました。やっぱりやってることは結構楽しい。１限じゃなかったら全出席するんですが。終わりのほうでやった「a^bが有理数となるような無理数の組み合わせa,bが存在するということの証明の空虚さ」…