最近出そうして打ちのめされた
基礎からやるならまず集合論でいいの？