{"y" ∈ R : "x" ~ "y"}，称为"x"的"等价类"。这些等价类的集合划分了R。根据选择公理，我们可以选择一个集合formula_1，在每一个等价类中都正好含有一个代表（也就是说，对于任何等价类["x"]，集合"V" ∩ ["x"]是单元素集合）。我们称"V"为维塔利集合。维塔利集合是不可测的。为了证明这个命题，我们假设"V"是可测的。从这个假设，我们将证明一个荒唐的结论：就是"a" + "a" + "a" + ……（无穷多个相同的数的和）是位于1和3之间的。由于得到了这个荒唐的结论，问