>>740
ルベーグ積分は要らないと言えば要らない。
ルベーグ非可測集合は選択公理を使えば簡単に作れる。