集合論やってよかったことって何かある?