Intuitive Explanation of Why the Power Set of $\mathbb{R}$ is "too big" for the Lebesgue Measure?

Let me try to explain the Vitali construction by breaking everything into small pieces. (Usually I find this presented quite rapidly in books, so that everything seems to come all at once and it's not clear what all the pieces even were.)

You begin by quotienting $[0,1]$ by this equivalence relation that you stated. You get the full collection of equivalence classes. Now you use the axiom of choice to get a set which contains exactly one element of each equivalence class. This set is called a Vitali set; let's denote one such set by $V$.

Let's define the translation of a set of real numbers $A$ by a real number $b$: $A+b=\{ a+b : a \in A \}$. From basic properties of equivalence relations, we find that a Vitali set has the property that $V+q$ is disjoint from $V$ for every nonzero rational number $q$.

This translation property by itself is not a problem. For example, singletons also have this property, and yet they are of course measurable. But a countable union of singletons is a null set under Lebesgue measure. By contrast, when we take the union of $q+V$ when $q$ ranges over $\mathbb{Q} \cap [-1,1]$, we do not get a null set. In fact, this set must contain all of $[0,1]$. Why? Because 1. every difference between two points in $[0,1]$ is in $[-1,1]$ and 2. every point in $[0,1]$ is a rational translate of a point in $V$. On the other hand, $V$ is bounded and $[-1,1]$ is bounded, so this union should have some finite, positive measure.

These two things together still do not constitute a problem. What we have now is a countable collection of disjoint sets whose union is contained between two sets, each of which have finite, positive measure. Where the problem comes in is when we postulate that the Lebesgue measure should be translation-invariant: $m(A+b)=m(A)$. If this is the case, then countable additivity implies that either the measure of this union is zero (if all the things in the union have measure zero) or the measure is infinite (if all the things have some fixed, positive measure). But we just said that neither of these can be the case, so we have a contradiction.

A summary of what we did: we got this set $V$. We built a set, say $U$, comprised of a countable union of translates of $V$. $U$ contains $[0,1]$, so its measure must be at least $1$. $U$ is contained in $[-1,2]$, so its measure must be at most $3$. On the other hand, $U$ is a countable union of disjoint translates of the same set, so since the Lebesgue measure is supposed to be translation-invariant, its measure must be either $0$ or $\infty$. Since neither $0$ nor $\infty$ is between $1$ and $3$, $V$ must not be Lebesgue measurable. So in particular the problem is not so much that the power set is too big as that we insist on Lebesgue measure being translation-invariant.