（Gabay-O'Connorは）
>・解析とは、無関係（影響なし）
>・幾何にも、無関係（影響なし）
>・代数にも、おそらく無関係（影響なし）

　Vitali集合は（非可測だから）解析学に影響なし、とかいいそうだな
　ちなみに「全ての実数集合はルベーグ可測」という公理上の集合論では
　R/QはRより濃度が大きいそうだ　これをDivision paradoxという
（なぜパラドックスかというと、Rを同値類で分割した集合が
　元のRより濃度が高くなってしまっているから）