>>602
>数理論理学でも集合論でもある程度抽象度のある集合を考えた方が面白い

具体例を挙げないバカ