日記 今日は気が緩みすぎて集合論とかぐらいしか書けることはしていない。(勉強してないいいいいいいいい) 集合論と言うか論理学というかの話 例えば、は、 と書ける。しかし、このことを踏まえてを証明するのは難しそうである。しかし、 (はについての文)が…