みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。 アイコンはbing image creatorによるkururu_goedel。 twitter: kururu_goedel, mathtod: kururu