集合論なんてどこでだって使われてるだろ。