オレンジは数学苦手だしまともな数学教育受けてないけど、本当に数学が好きで集合論も大好物みたいな人だったら、
https://mstdn.nere9.help/@orange_in_space/110840090582613444
https://mstdn.nere9.help/@orange_in_space/110840123790159572
↑みたいなののもっとキツくて用語もカッチリしたやつを書けるんでは？＞＜；