だれも集合論が無意味とはいってないんだけど・・・