集合のサイズを定義できちゃう測度論がいまいちピンと来ん。