集合論のどうでも良いところをくどくどと