たぶん、グロタンは集合論に興味ないだろうね。