>>232
昨日から竹之内脩の集合と位相を読み直している
集合算の基礎の証明でもいくつかトートロジーが使われていて
論理学を学ぶ前では気づきもしなかったことだった

って感じで数学も読んでる