証明や集合や命題は面白かった(´・ω・`)